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 6 ,d ] ZF-UNITY:threads=6elapsed=5.251cpu=26.020gc=0.908factor=4.957zXZִF! e ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3r"{cW(4 N.*a`uM3Re/^%(Yۯ6A6I;% Y6]{Z1WRIPz| M?-1Ε.~|{u㦊/} ] A](']I1fmezetYo?H!0HDdv>sCVx/CU4 ;Nb2#uh ٛyT/zJ]5)گciZDj(݉1f53g7(v}Ftq)qyE.;#t_b,wn% ^(`Ŀ*iq?mbxp](ƟR9boE6uL m{BI"79iNTL()y cgYZ7zXZִF! hj]ŗXiɟ9 i:4V;}A<<ګMP78A* 71dw ]ʃSz?@p\2\ʲ@`|Y͝~^ZqRD|d'Hbn; TȘ}5z欩*"P}\d _foVGȃLȱ,1ĪΤ:Nk&+Rz_BwG 'ytdlקj7wDHHq$+LΕeİ1ȼ sOp<)FhlUoi 8[GB wMCCױ:/&u,Du–Yvҷ6 gYZ7zXZִF! ]ŗXi%92DNҫ@ftiSa1H²-]ͣ9A \?q gp``ٮS} "p-o^k d9<[tgB5ݹ"hcPu wb& n7əI-ᷠB.$]aР(|qt]/BW2ǯs$Xnݪ_Y8Vv8c3c$ G~V₟Uʜ<KQYMK 5b x} QUG G}Rj+Zh G @3 2e2猎kp:8o*vQtZK#G@AH6}+nTط? Ž5d&-W4NK"^  H3}ޱgYZ0234bf7e5d24bd02455360d9693193ebcd3b7752341573a915193db629e8d127a9a53502c8309b6e 6bb20b7c7047815b1946f24dab9992e29c28bec5 b185539e999a2626dcbbe30695d4103eb15c59b3   ZF-UNITY