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 TT)! 4$$ ] HOL-Induct:threads=2elapsed=19.182cpu=36.528gc=6.244factor=1.907zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`l=@aE9ؘlL6~T( n-0f`:yM˱nc=Y럏aޗ@D),ӌkdh;rjƚD q/w@,eIfn,ʦ N|t-ưY8Gp\uZ)^%b"e5wWnrjU+>[U㚛?*e=)5/T|oX+WC r8>K":losrPP/ܧ')XٍF }Vp٥]w(5LyQgj/x+L)VcoLV㵆ب'hgYZ7zXZִF! I]ŗXiɟ1Ml3`L"Ψx ZEӼH&9odiW5byp^N!3惺1?zЕ eC݀?Vqf1[^bqͲ >cmSV$!4q`..eIFs$:S__P%,wchnm80H#F7ܿa R^3~IC^R!zXr[$bzcTW0ֳTٱgYZ7zXZִF! `g]ŗXi%;XҫڒnN6 >x C_ \%*Q'=U,eaܧV z툊]H .|؛gG"祮#Ⱥ$N.C(҅56 &7%YN`1fyS=^*y]M>7P ;H"41SzvA^]5g\QaPKX.H h)I? rKum c S]aיK87LA/yίP9DENeL3 B9&S-17+X>-.tThc˗bpBOjJR2^">MR?$WAAf !$CI(fxqiTl4JI䂛l4!4A K'OYA.#<' p$!M^)$LfG"N)7nit&4US7IR\g4.0ĸ# ~ $ T߭6-ga r ^T!= rS ~f2Ьiv rC71'sS/!4t(X΁AWi`2֒Dz$1_8?tHtu ?8R}-fʐO*=ۗDOAiev %G`D8]'\nCHK.g  Ͻq/u