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 H- t ]/ FunWithFunctions:threads=4elapsed=1.109cpu=2.960gc=0.000factor=2.677zXZִF! p]ŗXiɟH)0%o'NϰͯSMqdp"?^ 2-R>I2^*>Tll\) L>o:;ѐ kGZU'>dҡ1DDއn ]BT0_=ShkRY{H^XT_^#i:b)j8lɎg8Ä[םwJ<}ZVIH-?;fbMv>x|tYEғT]8QodQYǽ@/D=(n,N(]2:F7̬*w&Wp镇,yp2Q#KB^e;hü^⣠WoۭpYѕ$?l5JL ;jֻӿ t/wnwoɔ_ r֬}܍H|1JѨB;h["iGIGA%H= : /K9 𠉕zW=WxKY Cp睰pI8>9F%0:!?[L?uQ 2=.RD?E)6zI`c#H*ݘ؈UvBzHo/(5>:֖6n{ S-c3?% ~Wy=EX[rd?B ((EvU'YyfDnF$ q:jQ8( J<7\J+i/1!uMƂ}(2'JqU%!Gsv61С耦.*cR ,ٔJXqaY(pgQ.-\v$7`=nbak¯&OgP!tga 5E/[65~WKJ!dx58]Qp-<ҜĒRՈ.݇Xt5 3ZXKn=6"@DY3j ˾+}m>/Ϝ;ɣXP6-`M+bPK}':a!2Z[{|W6I 8"], !cpT"H\ܖi A<52A)> v?v#g5p9$aӕȻ ?IEmn{·Eh9A[Gsd bp-Ȭ0% NN,\ouzwҧϩ n1B?:YC~8Fm<ˎXsEj'FgSRv< QfG l]m/߼tf:uTyvZݏ=O|pf 2slSc%"aVh$|Fw/۞C2g#&攅 7!X :dME w-0d4?f.fvTr,7DyfKI(tsS4`UJ3+@3֪񎆯Oڔ9O=e)nP&Wd b(.?vh?fmzcN9$L0y^ѱrwgc _mo~ - .d']n-B9̽RG]$SA=oܕb"8;<7ҏe:>gYZ7zXZִF! UD]ŗXiɟUXvD@ 2C \7c &C'C1c* ~~KȻ2`VM*s}YZ7zXZִF! r]ŗXi%L!l+a׶?v-) ؠtyI7%3pdkR|[)+XPbAL5>f)S Ag~>% GM+D:#!ǝ.zwpDŽ!c?y<†z0NԛcTOz LBh/%C:s-܍K1>WT?ARE_۾B岨`A3"7+<"ܭ!$dY4 sث.I./41=zK˿Hګ`S#f~uQi<+/r+u"v\k{glg3EK|wf)jr 6&[Und IuR&*y"-C+WOAr0g^ DK,}PS<|']5&