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 }tl4 ]]]ZF:threads=6elapsed=12.756cpu=46.620gc=2.7567zXZִF! |z]ŗXiɟ{6y ̌V AT[/fxDُDAZ4ND,ui$t|\"7`Y1D83]X&ז"ԓR.eh{I~D^ q>gYZ7zXZִF! 0]ŗXiɟ 1FE`u$Ae<Pnygz]u_@[C%8ΠP' 6cF>W05*| 'yb@g5ּ^*'vD$ =oWs s-Փa#V MZaz+U9)1 8k'2<CpNҭ;C|"1,ӼфCO]\?Kk悔 V :L8Iݷ/d:P =毾S?Vm08)ldgJGvou\88Z : `HHǗƆOw!=@4kp&n 5xӟUiNL̿1؋ >]9x7 *F0 ՁE(<L"UvEPm9&F!TA9^I4nH ?GvFC!ocCo~LJRDjr40gYZ7zXZִF! E]ŗXi%L&|&T)DBd>9d5pŠ@E&IlxAU s pO^22 ZdUǺ@<3R.}6'hƶ˷> i8SjLa™f<1$P1z*Shi4.ouD aOGv+c4Y?A:Vy2P(T,Ea c u p"6',|;]I:*js~Ew+A1V5n8,L';F@ 惾mՔ!n h+lc?igJrldi~+P16gF2s9 7Q= ͠dJN?DZ2dܸgj`)дiB4ܱ \%zlWn]p6XpO0gA72[-l|Ǿ0hׂy#͍RAPrel&̅qvdO4ƒzl+2&'Sh MN;ʑ$́{EK$7X]s%{8aX|c!|I̱C\N-V d/ %i"t1Ҹc͂Bu|‚x~7.Ќp'`f*fzpd5gDJ*#: ΡpXA.XjNF;!) #+[ȔbVjoiXr֗?D!2 <th)ۦAx ɒM蕎_2y|~_ d,!=s ô Dӏץ8"5 Iƺ{Nz?j$I~ReKFӯke Ճ4imuo<47gxB ud1&3|#8kSvm,^NN`8Ϛpu?5F2 #҉H&V)%vfʹ{`|IxWe :Q!Sugy9{Q^q 4ˆ L1q/} !a:Rh|/}KT~R3R<.z#JWѱCLW,vS#v{r }&'ZwǸPP7dȲ4Ԁ/"S ޥRzO kHmƻʔ̺稔.3ګmU~ As}}?Sa=-)Srt\f^W`a=4d $s)/ nwKҩ[$rD xR"v, $đ_Mx!?IV9m~ <R 3Rǃ"gٙjvSni  KgYZ66fbfb8c8de5cbddc4d9c5b8079fd49ca0931aef1fdedf6012a4ebc6e40000ef24a132020cf3202d032d75ca4e76050c507bb04051da49f42e916ada  ZF