SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  Qd ]S IOA-ABP:threads=2elapsed=5.124cpu=9.644gc=0.192factor=1.887zXZִF! j]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09zCR21wmbݥiy\+L<ޱ΂R88Y -;ќdAL멤{^$i1@jHmJ t\"r43:te퀼m$ՅzF?,2]eLM֞ͻ=#'@X26gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPg[w9KVz&$E2QH8jx/DP6 )i@mP>3mIb4?C@j7gYZ7zXZִF! ]ŗXi%;iF4l(05heU /ƕ -p\ACr=(c#S~;>ni_ ~8* \ w_am~v"/ p^$ :G%O|t^jJk({tO9x+Y].`A6Q^l0Xa8OwHwuB/hcYvWEr}HRͷ޿Er#Fg[cI\}Zs5-he^dLws+~`N#u}YF;Pfq 5 C I2zHA9P{+ʓVmuAZ8}ߚn` #%O辐Q^Q`