SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 _) d< ]% Jordan_Hoelder:threads=4elapsed=10.271cpu=36.724gc=1.500factor=3.587zXZִF! j]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=984Yh_@5b13}繳(iŐ1쐯fᠬf"Uӌ%Yʆ4";.9̷ (S8k:>XLԆw9Z$ߘf{XpFK%{~V;܃\N/>un{8e`+sGG8>1Z3ɳ!|\qu_O$Οr+^Z[X\ ,aaSĮǹN 5.{ p@$<%8zk+AEL!Ǯc" ^bVi|^YA+R}ߊmTHp^e4RxELQs^ zQ c~ޮ5[ffɮ1NBzo t5nFzm~'IkB,;7*C cʫRVg.Ҟ$-ApʣİaN2Zz3YW[Fdf%-#m/<8Y+r1v4Z>* S|)SL&NV79nM+pQz&K0\ KK4gL^ +15/oJ"V@hZ'of[FJx]{&𺴾]\dT*@bhcðV6ҙƏT IyM')Fs> D9}$Us³cb46ՠ:N1@Xu)o:-m\_TDB}bQ\P3laێ +RzwD_!Sb~[J)]*c%-!qoI\\iFR23cT_D̅k@Is#l`X9iteI} f&o K Zۢ6i߼)m6пb-3ck{\3`d612|n[!HDC= hBVgO ^{m>C}\$_MU b-ʒ0S%&C =*J2L6`U홰h)w%9zN\1T$;&)@;vʢw{ŒZuGsi$B3kS*˰]%4]>+wWMv&̔Z\ hGewGb.mف{UMZH;D=e3{V4;H?7 V0 \T:h36{E5,n60I@\M;/b9[7*fX!@]V}Yu*sP;1gQ :3hӳ֤9WEd0nm 粸' 1gYZde26e2e0064444a511c6cb689396d0a7f6272fb5d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c b2b885f0dbf561de003595b7b08f3161afca18e1 ) Jordan_Hoelder