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 Xr d4 ]] System:threads=4elapsed=14.602cpu=0.936gc=0.0007zXZִF! 5F]ŗXiɟ{;`Wc7&Ӝ2Tjp⎓x` P@N8zJb !3,'xإj9iC Xސ_L6U@8Gհ%?~_̯m/bޭmIƦ#|?EIcԈ erOMK zSj"Tµp6~?"3[YiвBbiHLO:Ob?7 '$*TA 4 {}e =LrcCczo VWB[R_JJ*C;8.!jg0E#TܰipeD|Y^^r3p[ԜnxSIʋuل 0IiHaLbM,?zl:x'v@4p 'Vtw1QVDz{DDҸaLJ ZG6RlVtyeFn@/T[_UnhUlrndaLIup#㌏?O] Eq{ +0PjײANAwZnaypLݵ[֮ ^9E)kzh-V(npuEzGs]"vLGr>N)c9 ~bҘz1y+>쩺O7,O{[j_8@t\)GwPz=]y&v#`:R)\Ǖ#M#uc7"v-M-nZQ;ɛ삾ev"W?2TI ۀ+]'C|0m1t|ZN'0XŝzRY!lqj;6EXP&/ǜbeAI 3 M0aJԘo"NrXQ4&%2?5D܏,-?e3 X#E\!Bڪ2H%Y7Odeb;ÊG&B,u}3 ZwHmARǫF(RڙEo8=y^"qd)dWNͣ{+į\^S qKZ7FK5 :ebqe(`tř{(Ihn\ jgYZ7zXZִF! ]ŗXiɟ`=H{ V£$Rzx~ 6ܪs9@kq{xǩ6rz-a 1E?=ǜp&mg۾?::)bp5$6Uy &ydv /yh:i'!ts+[UF*;! * ,zSʛ W߮,*|y [`}put8DZ.ԢQ5|* 6rg뇩1J6Lzl@1ilzdWBۀ-{x|SF%W Ucm#j٣B)3?1TyɁ:㫔b J!4\t=fnq_=;㊱j}s"4:f@k{M %rfS;!"%W!iFF7_= {~JgYZc7f58345866f12c26c31e4dc19c0bcfbce96753f9aadd396dde0a279b6a4eb62f8f2ff37640b410b   System