SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 y1 , / Robbins-Conjecture:threads=2elapsed=13.974cpu=21.088gc=0.292factor=1.517zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^* m+Z6|0Q{ zrH, Ӽ2LۧG=u[☻ǿ6sXm\2pO y$m0tb:ٺT0 XR~FZw=!tNCHDD2 ɅJBûef$M]:kD7..nj@ BX61y ?{w?=n*|d *FHK r[; 0[^ptb76X7CȠ%s/1"=M~԰WgM8k`ubqLEM ?kc:eeJ `Rlsтu7GY>7Lgqsӈſ?u6%hVv)= !<@"-lG]gYZ7zXZִF! KO]ŗXi%}0gݡq$Hz xC!V75* O8z}6o+= Xл}N2^~a`1rYJ gT vaCZ@ByvB"]^O=8OIUVƠ[ ^#$e9|tEeZ8';_ XO+ôGfn[^CKH+7BUʑ0kkj*ԝT-l%ή}Xg-d/ vXEa3n]DEȰ_Vk^'ɫ _й7%bWc74xPuARl/a_~2QZlWOL(%fx{?}KbPQ3y|Kuhm$Vꮐ`?S%~:AJKAi`_x05|e;~!W3=ɥ77h~)EՇV3@>S$u ;@n#']ق$膴 2yLsV-CZ{Ržˆ&T_a82d&AVnY"^&Ňؖذ{7 LG7h. &g}+/Cz 'kٿǰc Ja#!1 !0Ns*U'og mKV7Hw~ pi#FEQHfk-xX3*x} kV֧hMP?e_2cjהGX7 SrVDrԡ.6H|esT-Rț)L8JdeW+ܒ1u[zf6K/nn n'3s L>ƍqw*(:Ob}WdU?= -ﱕ$w"&hyԃ966 I<)xsk.