SQLite format 3 @ . B B h77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info o!4\$ ]S Akra_Bazzi:threads=2elapsed=76.932cpu=150.852gc=7.264factor=1.967zXZ ִF ! JAS] ŗXf1-q恈͐7ӺV-fw0w],[aT|DBgn5X@EMS;iW;ıax(@C,}d&>3/XSt:8_`D,J`]m4(9۾*gi<[tYJ63B"M^Q\legKx$}GkHX5 .%;eص-ң9Z97 1нW><ةnkkzrEkqe%pY7-Ҟ'H&,P4cTؖ5=&z !@'.*!>ݶH1ƃO ~56oNMy5E-@v\ EP)Fr[ r r#, d_5w`{eʃ1O}#) ,PJS\~-*|EyIq\}-#h3y] ],]*vV6CHkJ|%wK'g3i8 x4`fIA^&Я+ȴfu:FAwS:Gj+b[0˜= e$V8//|P-BR*<$o_ӈqG|mȌ/a>27Am;w|+'[B>aF$U+B 2?Ȅ-,"S -1cg)Jcu;4G;5ű1 ̽A3 ;XAHjAj6HDlGSHH"Ё?GJ+ _? ӗŢ(1 ӽpNiؠ;[/@V1lTsÍ{%:wPi@G+5Y]nW8ҳU'} $6Fl齎m|_ANꨬ^ʙ3.z蕁,fnؾqgȲ)U0&4J<ꊽ=8.0OPMC! @C>qh`(r: RrAG.A!7U