SQLite format 3@ .0:  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  ,-T\D ] Tarskis_Geometry:threads=4elapsed=30.670cpu=110.888gc=3.960factor=3.627zXZִF! /c]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-cO)+߳ [EB.{ ;ö{kXtevI O\MH촛<<-2ӞqT>UVlue扷U&Rxڏ"zX[$*bxL}uV0kΐ-ɾ5l@đ%O|o. ثlV ejv_k$p{.5+n' اaolz0 *Y.`"aF.IYHet92-5aw!B$tG#qF"hp.95u"ɽ5w{E=[(H y9KJbti`;RA$BH^Qu 'Qػw`.)Ǒ!J5ʯQex;>Zxڕ4 'EFWiU.HzkRvhh3p'Nn^I¦x 2Pn6/>f8b[OgVf.P@7Οeڌ3'P'}TdlYG$ǹ_[cyzKs-*2O $AeA> @уJ.,_i6Wp+NteO - Tarskis_Geometry  Y+y/{"K;u:d2ovf'.|?il6ÀP7;N@ufSt_3n7I# {`q'U0uzv(+1Qa)cɂ4Wu$:(&ؔY)mi%m#.HdF'9Y jTن$}+u¿' k,Q8XcPɳZIl Fte''P2*Dʰ`p?xt +ځNت\|;C3)QlR7U 9 O`2|]gYZ7zXZִF! & ]ŗXi%GV lNo^Suj: TGZGdaWŀ/b?54s߂'t6$Ya)NͻrGf2eK%oA_Ny簺߷!?R۴t3>s f[ѧ̣z5>Au8XS&7!MPw{;K^{+.4=oqh`Bj 7[Q=NËzKpjI&LhYL5y=8džlIjn`JN':Uq]qӒ?OP-aD6B0>#:kBi$먿OنBoXXhً1 SEAwoyij7cO4}r XNľ]9 﫣!(Zr$~i6RV~?fI -4ڑׯwS,ϱX;wo5^BU>hk.KW9s+~w34  WW 9>砋)jlB<{>4߮5#9׷΃>toPQ/{0{;Ȟ`ٗGD92M@5_3ȋ/c-M|b7g%kO\Hi#Tn2ֳϙ2gZ"05.=#஌bһ|_)i%@Wo{|_)j׏ͣ , Шw,cxǻ1ZZ$Cq\xr=U-bCȓ9^ΥL4hA=(/zjh`,Q.}BaݵsG<*VؽJWs-D(Z}/4!;qq\eT/:q=Jb,16=zڿ?M!FӒ~Ն{| }[K#+y`YFHFAˎ# ͙-2 \cJC<2fj0 m$ȩ$_Eove!ˑmnŲIRкB АmWN>#'ײFΤo|@1[)SirݓO`|<4^EC([o,2X(ٷ;5Z•}*a8[,- ]|Sw.sr-AK\'?M^C7e6b"R*U})uaj,N&̇]kgP(EdC"`[{D;͇b4'ɼ3^<(P|;sGrg3mM/;KZb#p3 L`)J M?5jGb$L4,0T!`[2a-tX/~J~So ׵Q Â\^g2wwԘau+C%wt=<1N?H4΅s܈-f~1""hoK Cv3Ql^dB51t{:D‡DkzBs1k%d7,_!`Tr ( sB l`8 J~,tE1 {ʒ,NY%trqcQyG xkwzF[(qKMdDY`RIW>i̊+hi`w2>ԖW1"ٳFJG<|ăOjh*}lf%|3c?=14V1Vgx,@|+ `3+ cPpsKg2^CW5M Bj/5oWSy_798 ١~;T.G|+Xy-A}dWo'r"^%RDzr\XE}>Hz8Ofi-_$TVs3ZŲL8y͟ y'iLCv< e[ߣA/T#yzZ_A4"6Xi+@,GyD|!Kkcў>ܖK5<ҵS?R@{20<54w pLoqSG2Ͳ[x|ݵ؉帗=KjdCKl 9`cu_hr #IIu!*]8R`2