SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   W- \,D ] Tarskis_Geometry:threads=2elapsed=49.345cpu=86.516gc=3.920factor=1.757zXZִF! *(g]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n- (L9~Ec>mo ޷|nAջ-y,|[ÖsevC}j;9S`@U9SGǣ>gR} L:@ z~}fc'7h@x*U(j+8{C8ƚ1^Ч~( Fr!KAb0{-u^A]͎v*A#}`c1gh Qw1x["+*/`s~1PDp"йb'# aH"6&ZADmr9c  j2.ouWQ,ȆѶG-?mn! YURtVflU\BK;qJE1-m)dP4ZQ [1wΖ f6!A*dnewjkiH*"I&h\! jFΪq0e[TU|g͌02 LԘ Xix. Z}7\ceWV\@ '^aJ ȡ@1[f{ [|g"|v6 J~ʞW+%Nע2$F NJ -)4*Sk,ʙb>FoK5 (װQayAy~qvU1-_[gT| ۘ("aA=g}HUqRo]g sN=pXZTaB@H3s~Cw_돑" ^sj%peP:GƲum<4DWŎZ#;6+d.ܿ_Ý^P 5/0wd J>BSzWMtgb'3SE;8Bsnqok?けHHj_d^f]1`2>2I 9&ȷ֦"K͸ v\8Zf fy&:9w `r6.F3rϱgYZ7zXZִF!  []ŗXi%;IZ5 "]E6v;ōIc."X*mkR8%)}q"=r AŃJ@@@b->(6k=E~ƅ}l["i AsWZs;; 'rC6C&a<;%NsQ59 j:q8E h6t~ۺ,}9~decv?B0StꆍF?jcAA*PC>t^fdŬ9h($#/а:-M f 8(TQԣ{笊wQhuM>PL=4pWQ)WJYRuoX c`Ùή5?II{[eƗa4L ¬hVx*.DZy9SUU|^Jc HWhRiu?e{lT5ӛŦFRwΪljqQOa) 0UM[%=ЏH?^B*\'[3G:iAAGkYPWPq.wH,]Ԇpס6HEOzrmbAQ,06b1pV;ϨDXhHKdWz~.\,6D%.@A |\3vg"RC t{luecL_9AQ" wbkAIdҟw՚N""{aHdVؾJM8Ćp'|3u {콉.+.F>oq+jMH$lKC0([G&aYBrkpv~KfS_IC=lί::E'PP\!\n*%α` iIྠeΌ|FO瘊,N4/n҅殰٧jhN%$F$7 g*5va꿵~#p YE@ "P\cU']踋cN$mVDm@Zm2l97D P;s`vh(UA*L%20ַ̣[BMYwܔ@_f]:jvq%.V 9ь־E d$Uwk'% 2S RfZPg?zP6 K J]go!}o~[JN0wc/Lqd&,ER꽠WDS ~h%}b]N`/ӫ.ofGEVaPC2\ixK-sA6t ˤF:cKe+ 瓬@Q-+ SگWrC60ȑ@C&Kb) >g W.j3z_# =%/<#R?Y7}ʦ]S,vYԶF9bIHb2[ PU\h~V,S:2. A-5)ĊF#8YIh+]?uGJIcA;3˿=#w|?yXD;.E{BHL7o6 CWH$: qc'3kU&m`HPMIMX!rؠlvŸ # XT!SUcI-0a)q\ EN|ѡKxv C$CQV,XvqgxqCAӕuܖ-W[;1:IUv;ЬHbP"&[06y fѩ3Jd;dZNQD r?,{h7Z/=S! |=Q}]9gcqO*%eL~'#|{EJCm킕 о5=&л!\5IvkbLUM_{-!]!?zuVeEHNG⇞lyS mR|-WzT߼H)_a;Y5crA[ ٦NYÐU&M71gVHsw>Y3!CR m 9\ y޷x7W\&% 0%ls{Fq Mv)emT>rC{] VsgȠsikH 0)UtCkttZ&??rۜ:—~bRޤKS(x鹮^0 zׄMV$m"le# járG:YzVsHq8V\Uq0Ezڞ ^lgzѷnz Wb!)ߑ.j}f O_55 @~QfS{Ð G]K/ۨuQynCY!6aEh"Φ!1$A,eqԊHͯu(6yh1f TRMYͳ/^/ŠCEWl%8 %ùhäq'5#q`KqjWs xcvynӕPH >JYFPэ4[d:DQ>GN-ı|≛ppQ̜9CН_G+ JbyDڪsۮܟ  y9;B4Y_p`Ef(E*FqG,rEy'eՇ" ;_SֽNZc+ǮԎ [«Q+WDI,yXJwceΓM//yW [^ r0]gYZde48d3fcf7d193322ac23d87474a29bf5f346c12a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 c382ccf41ab8971be7e30191e1f54a96cf9fa69e