#include "common.hpp"
#include <stack>

int main()
{
    for ( int i = 0; i < vg_select( 1000, 100 ); ++i )
    {
        gen_t gen( i );
        gen.max_size = 20;
        gen.max_depth = 3;
        gen.max_length = 12;
        gen.value();

        {
            DECLARE( auto q = query( gen.str ), "gen.str =", gen.str );
            chk_post( q );
            CLEAR();
        }

        {
            DECLARE( auto q_base = query( gen.str ), "gen.str =", gen.str );
            int j = 0;
            for ( auto [ p_root, x ] : q_base )
            {
                if ( ++j >= 30 ) break;
                DECLARE( auto q = q_base[ p_root ], "p_root =", format( p_root ) );
                chk_post( q );
            }
            CLEAR();
        }
    }
}