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  2 2C) $ll ]/ FileRefinement:threads=4elapsed=7.154cpu=17.500gc=0.148factor=2.457zXZִF! T I]ŗXiɟH)0%obGuGH@@ ) FileRefinement  ?(·>9XK{^Dv]Wt R S2L+)gs?*[=BK(h5"Md 玻cWr -`K&*{O#Vd+lO5 :[ q޳EUVB Z덷L 02ehqUHDT53i,i.$HvrvN0Ԝ$=j'vCO)⿋WGL~0Ƿf|b .o:lXx1}Ph@$)wm2Uwїm-K3&Pu G,HppqewP2L%4>A>^^7 !6vKyyk*\r3Cg1wgucEqR-F8L`cWPA IjЙu2j/ы^;z}LQ= Ut>},sFC aFiMdWV+!MdtInIGD` ,A x'frmC"'0A =CF?4tf||  TJT-v`%TAA-9i7z/njϭi8(@I9=LAn /Gs"fDM6 FxUv^e0aR~E SĶqo_i@QJj8;[=~scŧ5) EeʚZL"=J_ o |( -X(GT%}ZQEpkGkP m֪eσڲ|_hbxb*[fҜߢO;fN:ȜhU+5*eyEA@+ZrD5.80R"Q~}Ct-w>YrܭՕw#_Gkҭ#Ñ:z9-Y (Tcʉ`au^;}MM@e-Y:\l`k-Y]ݜ)8N&>=mfTɬb4)e6ƅ:=[Nú# l񵓌~BΠOOU^]- Lڳl ݔu[Tf:fyhOUf#.v-`}WYxln;YbН*AkՆ٠tKU:bie$y(SX$+)Q_ZI˫+N ރ,m}""K"P O5'59R9F#+kLҋ(?D= (7O=d'|6[ޚӕDXOlزvnUG ð};2N]ߚ?> *ZMH o'sB`se'ͣV/&9N1D 5cq, a}.:TCT&X aTeg2 \'oou2r8.V>ū˲`(hAOķYwʕvL7D6~OL/6G[Abj:: t\'k~(DSTnW/N>Qs7j0,q$(Td<ӰtFHx+d?qv*t? u"N\E_:_T,TbHN)hF|%}DEE]`]P0Cv+vƊ/{Vbl-2=ttF.#vkN'cd݂Ht)t +i &-Ӕ/+*Ha ><jOFT/hTmGPfX4TjPRla`xgߤqO[0{]VM0/ r߽e"A9,4\pc- $A{&Ǒmn()Q,+Xd;3ƮDYЮ&K(ň"#t[qd\,Q? ר疋KYyA[O]kNv>eQlN$31\H6,C; bjaUre(?4C3\9hN[{d yJ#dg |' eGƲL;y 'kdJx7oׁ|O@[w8~qPW:rqykmTnv~TO\*C#gT.Mspbi51Y"Ev_.LJi},;5=J?(+oC<FB&XX2&7[\,v|@2x昝 bWe$55oTL~x?ŏ  2BTT#euR 4xy3@F1ᇱi%WJx J }֥J68"X5D Od\Pno»Y 1F{jSLcFpT÷bboH)L#̲ $E{B=kZuyJG \%՞|<}gYZ7zXZִF! m]ŗXiɟ—Uޘ[;RjuF1 Œ#U3- b}OKzYh9Ex{ 5]B'KN.@gYZ7zXZִF! =m]ŗXi%L!l+^-gB2ZѴGL % I 歃;XI" w Hea80ydTZd ={lu85`;y|~?LGق/Z>EԄ>rJk)jV{]z룴6ꗈի72 joy$>י[C[6̳v##7K&}Y&~'8E=iMԨ0QP$#\4ZGNok__՘t^Wc8fd9Zˮ2