SQLite format 3@ . BBh77otableisabelle_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  R R#- D ] Tarskis_Geometry:threads=2elapsed=55.394cpu=95.028gc=3.768factor=1.727zXZִF! z]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Zț7&Xh&ňW82uv]Kԍ]i=-"Nu'.Pù(w$mٕӠi *2bpŊ{.Ε:= Ǯ|-Xm8\ռNPZWsdy㳾2= jkj8y/`WH֟Gs>L[u5I) @+~0u:r2uS%jx aSSP 6vz#i)BFs`P![+JOl*M}یij%< ɘA^]@u=THAx7Bvy]B3Ί (1pTՐh+UJk_s2`Bu.?oҋJpX:}.lsiaojQD#?<Ə޷%Ŵ7/vdD"G7B?,68m0P~ۅ]6pZb'ȴeՔ6srspC"a )g.?f{ y|Nn~{GMju2P=ASCy-J+D_Ws@k E [qIv_w ܱtz67CKI - Tarskis_GeometryWB>;XpLȾF|"%+FuhtVv^4)fwZaݝBpg6@%RL2|y&<gYZ7zXZִF! I\]ŗXiɟMr^&%HiI6$ wĄV;iSk]BU5 g8E"m#dz8opS#v .ZDfT@c¸&\1 |}&.1O樲Fuΐ#}K>| ?([:&Ť*K#{:ײ6p)VR7iNpiCfr/f)A쑙b7^CWgYZ7zXZִF!  ]ŗXi%9(SN'xQ qc)2Bw Z[ vTCXT>(Q\3].2GDjJ[0d'CY"+uOZv0x,śwws]4aǷ>qinGBS3S-uH/Kƕ)􂦏+L!ʵEKJ \.cyKs^Ł*#[=@cp%dB?)}F2=f&@2JӁWVl2 eԟ5LH}XR]|~ 4| A{:Wރ 01LY}R.Pa| D]' 񪓘$2s;/rHAq^ zecK퓈d "z\֒(L&a낧Vej'v*Z?F"s+o `h;uB>Ju;KDzَkRo)rФ<7-@c̵9k) ۝ʇ2_f] gK뙽+E~LF8j#/ofTj[cvaHi="e,inF*Vxz^=&Q؜AoTןkPspc{d<X:нLVb*r6#WN|S;s64BO5. [=ʎƃDxޗzgC5OG&i =<(D*Hf-@lp|P2%)fF9) R@Cȉ"3>wd%RN5ѫCQH/U4 3f0BX)%\Mcm`QVҥJM ,e kg</In _lGjsTbͼ7a9vumݐ4%_TlYk65#.%퍖mł~=z[`m1/Ҝ1Y` Ux ^~RN1 |x޹R.%̩-q,h q'Ѿc&pwV V`_«3)s`.}Wԧp ʃG EhYۖh]1k %`ArEyR+jy1`"lc6( OOW~h<QۊEJ5!H"4C=R/1cԤX:ߕko-#´ǥyy'D1:g3p 䡢yF2^.?])l鯠./1mޙBaٿSӯY;FhsTL8_N j>XئXg1nLAUU{m _{gfu9߅!8(WC55B p,6e彧EYت!e{+|GRTև6n #H\ybN.mbO" I=aoZLMEBL.o4JB &VBϮ@ Id̎"[Y3]ɍ1*qgQGUkcQ1'"xί?*?G\}K nU4jbencka{X[NpϳL.ww'\r4ڼBݛ*&|p!Qqrhѱ\΃WoS bL"-2J@!$ ~O41,OWS>He(]WSi:=¢RTclNppZ;e]zC!؄ƦxAE.ͻ%`ڨS\+xώ m9 6JXvmA>شndC~=O6P|(.`)nl0d[x HR^}|z8GĨCNa 3Ki\Ű~K8Y¼psa ֒qE[>3Ma1a;>\t["]>(f^n^|V53[)S@V 0ΞMLԷ/'%[;\KHcrޓ4ƀW كoFHdQ1_. I>`Y YՃV n/ 1'q` 946]ACz{|܀r'0:|rG>UA!`* uӥq4$KЯjhv? 2lEƷ8'$jŌrt+Gk%Uᬖj=- t (~Zg W=' X+]1жOews6搱,GC ^4G[DDϙt?/oi>&8.!ij3zRV O7b:=x^{EI*1!lu=b#kTta=oDSrw4|g;yυ%b|KHY,cn|uê?</B#'k赔Gri.6{Fe =B:8i(f^DVQe&% A+5l Vޒ&篥_@$F@+ε2roR ?+, >UF#A\ 0YE;ըyR>iy#nB0GıF' gYZc07deb9edad13814cc524d30e436dbebafee55352722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 8685a4e92669fedcb554c3e1724474c49917d734