+ BATCH_SIZE=32
+ BEAM_SIZE=512
+ DEPTH=16
+ NWORKERS=1
+ PROB_FILE=ag4mout/output.txt
+ PROB=Output
+ MODEL=ddar
+ DATA=aglib/ag_ckpt_vocab
+ MELIAD_PATH=aglib/meliad
+ export PYTHONPATH=:ag4masses/alphageometry:aglib:aglib/meliad
+ PYTHONPATH=:ag4masses/alphageometry:aglib:aglib/meliad
+ DDAR_ARGS=(--defs_file=$AGDIR/defs.txt --rules_file=$AGDIR/rules.txt)
+ SEARCH_ARGS=(--beam_size=$BEAM_SIZE --search_depth=$DEPTH)
+ LM_ARGS=(--ckpt_path=$DATA --vocab_path=$DATA/geometry.757.model --gin_search_paths=$MELIAD_PATH/transformer/configs,$AGDIR --gin_file=base_htrans.gin --gin_file=size/medium_150M.gin --gin_file=options/positions_t5.gin --gin_file=options/lr_cosine_decay.gin --gin_file=options/seq_1024_nocache.gin --gin_file=geometry_150M_generate.gin --gin_param=DecoderOnlyLanguageModelGenerate.output_token_losses=True --gin_param=TransformerTaskConfig.batch_size=$BATCH_SIZE --gin_param=TransformerTaskConfig.sequence_length=128 --gin_param=Trainer.restore_state_variables=False)
+ true ==========================================
+ python -m alphageometry --alsologtostderr --problems_file=ag4mout/output.txt --problem_name=Output --mode=ddar --defs_file=ag4masses/alphageometry/defs.txt --rules_file=ag4masses/alphageometry/rules.txt --beam_size=512 --search_depth=16 --ckpt_path=aglib/ag_ckpt_vocab --vocab_path=aglib/ag_ckpt_vocab/geometry.757.model --gin_search_paths=aglib/meliad/transformer/configs,ag4masses/alphageometry --gin_file=base_htrans.gin --gin_file=size/medium_150M.gin --gin_file=options/positions_t5.gin --gin_file=options/lr_cosine_decay.gin --gin_file=options/seq_1024_nocache.gin --gin_file=geometry_150M_generate.gin --gin_param=DecoderOnlyLanguageModelGenerate.output_token_losses=True --gin_param=TransformerTaskConfig.batch_size=32 --gin_param=TransformerTaskConfig.sequence_length=128 --gin_param=Trainer.restore_state_variables=False --out_file=ag4mout/solution.out --n_workers=1
/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead.
  jax.tree_util.register_keypaths(data_clz, keypaths)
/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead.
  jax.tree_util.register_keypaths(data_clz, keypaths)
/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead.
  jax.tree_util.register_keypaths(data_clz, keypaths)
2024-11-13 22:40:41.886796: W tensorflow/compiler/tf2tensorrt/utils/py_utils.cc:38] TF-TRT Warning: Could not find TensorRT
/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead.
  jax.tree_util.register_keypaths(data_clz, keypaths)
/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead.
  jax.tree_util.register_keypaths(data_clz, keypaths)
/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/flax/struct.py:132: FutureWarning: jax.tree_util.register_keypaths is deprecated, and will be removed in a future release. Please use `register_pytree_with_keys()` instead.
  jax.tree_util.register_keypaths(data_clz, keypaths)
2024-11-13 22:40:44.246141: W tensorflow/core/common_runtime/gpu/gpu_device.cc:1960] Cannot dlopen some GPU libraries. Please make sure the missing libraries mentioned above are installed properly if you would like to use GPU. Follow the guide at https://www.tensorflow.org/install/gpu for how to download and setup the required libraries for your platform.
Skipping registering GPU devices...
I1113 22:40:44.250269 140163996393472 graph.py:498] Output
I1113 22:40:44.250498 140163996393472 graph.py:499] a b c = triangle a b c; o = circle o a b c; d = foot d a b c; e = foot e b a c; f = foot f c a b; h = orthocenter h a b c; m = on_line m d a, on_circle m o a; n = on_line n e b, on_circle n o a; p = on_line p f c, on_circle p o a ? cyclic c e h d
I1113 22:40:47.947998 140163996393472 ddar.py:60] Depth 1/1000 time = 3.6587045192718506
I1113 22:40:47.949542 140163996393472 alphageometry.py:204] Theo đề bài ta có:
A B C D E H : Points
B,C,D are collinear [00]
AD ⟂ BC [01]
C,E,A are collinear [02]
BE ⟂ AC [03]
CA ⟂ HB [04]
BC ⟂ HA [05]

Các điểm cần dựng thêm:
Không cần dựng thêm điểm nào.

Các bước chứng minh:
001. C,E,A are collinear [02] & CA ⟂ HB [04] & BE ⟂ AC [03] & B,C,D are collinear [00] & BC ⟂ HA [05] & AD ⟂ BC [01] ⇒  ∠CEH = ∠CDH [06]
002. ∠CEH = ∠CDH [06] ⇒  H,C,D,E are concyclic

I1113 22:40:47.949872 140163996393472 alphageometry.py:208] Solution written to ag4mout/solution.out.
Traceback (most recent call last):
  File "/usr/lib/python3.10/runpy.py", line 196, in _run_module_as_main
    return _run_code(code, main_globals, None,
  File "/usr/lib/python3.10/runpy.py", line 86, in _run_code
    exec(code, run_globals)
  File "/root/GeoGenSolver/ag4masses/alphageometry/alphageometry.py", line 756, in <module>
    app.run(main)
  File "/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/absl/app.py", line 308, in run
    _run_main(main, args)
  File "/root/GeoGenSolver/pyenv/lib/python3.10/site-packages/absl/app.py", line 254, in _run_main
    sys.exit(main(argv))
  File "/root/GeoGenSolver/ag4masses/alphageometry/alphageometry.py", line 739, in main
    run_ddar(g, this_problem, _OUT_FILE.value)
  File "/root/GeoGenSolver/ag4masses/alphageometry/alphageometry.py", line 238, in run_ddar
    gh.nm.draw(
  File "/root/GeoGenSolver/ag4masses/alphageometry/numericals.py", line 1227, in draw
    _draw(ax, points, lines, circles, goal, equals, highlights)
  File "/root/GeoGenSolver/ag4masses/alphageometry/numericals.py", line 1186, in _draw
    name, args = goal
ValueError: too many values to unpack (expected 2)