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  ?- 4d ] Tarskis_Geometry:threads=2elapsed=51.317cpu=89.104gc=4.004factor=1.747zXZִF! -T]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n- (L9~EܯϝɦV9K_@2uijBPޫd9ɺ &XhNU(rRF$گ=LKNVÜԚц=rS`AK 'FgB,e#A9JI=o'-03j.KʫQZO[c+R_e]O)Ҝ{Dp$ "U4.eiJ'd[HKfH0+ٴuږR47"{鉳ꏲgA ͂e 5%FcKƣϜu356?/)G@dBd Ej3H3hWSDsߔXAL]'+' Eng/ɷVl3Lq$s~DQr)bMd_ 4k6g(nђ):)39b748:v 1rs)(3TꓽlȐZ7oa9_)@HpPm4:8694ðxG}NqHr9;o׻0T {k4)4Q;<],2XfwJf}z#"ǚy%'8TB~OʎJ>y13W omQ\礠oXfa/Щ(mTiu]szHG^Ш? kHS?-P{"Vc%=C)k ;vV 66Zܘv=- b7X4@j"Z/#!4._XHDa D#^&F~ 5U>D&Mw޸gn6ߖQO$TB\;z*AP$z&_2]գTjYV~^`|P-m&)g~h>N8a]4gH* .Pa>љ:kL'a:kQ7 uF"ưV*HbJCmQxlGRx)]'MO2Q?z%,fa>tX] ̓#"d|-֣q*<^n. kRYPe - Tarskis_Geometry   Z#ʉ@gYZ7zXZִF! IQ]ŗXiɟ1˦r1`*on`Gï=͠AQ%^ v!W *12QC ۴EY/C:W09h^w[2˲ӎw*>3:W60~j ,'^ &KKeMZYP{gK sgs#s޾O>Idjv0 F{ی*Kfg  0?4-SzT$!sH:VRz;ЬgYZ7zXZִF! 5 k]ŗXi%;Cwwb"AV6 Ό~]Dy XL|@\LeV^u.v)cl>QC&޷.CΆQ*~2s0ę(X.a_ z&nY~ G6v#72١A W9Yj8(I%*w/+ s̯Xcj&!mrjJf83Hv (tsF\!){PA /G !I3+ŕMg4xpj?N5 %nob!uȀd!NnJJ(>45~@l`u@@ FnlsW֟'F#$L o{dg F7P^{=5uˈa*q7,&3WUU?'mipzO![FمFa3*ii"Z:=??t67U%+0z0#46hXWKU"G5nmN|?\C8k;}a0YG[/m͵MQ|"bq]ٯtj'#dMV~BO ،gRq{=)0KRBeӏԍߖ!3̢/_QL""Xr ats:Hu̟ltRZ̼"3E5T 9>SvT&CkVQ"ildOkTaL9433?ӻTo![{(VBŠGDAMw=N0fdJ:_EP%yt'GAք޺ x,L^"h:*{Qzn>S) hW9Ju_sƍy.Xbkt޲8xW1z|'̀ +PRX- LB^0Tt̬3^jme8k" #ck|7dz ߴ4gdt2"vNɅ2\J0`<^=ChXG@Dǝ o)v /[&hD`KM\\ 8MWXy>pY4zh l}vw-U]gͷC` Ɋn p$ˬ~X~#/bDB7QBKdS`>6L//^\"7n @(fo0Bts^t m <6˵ʛ)3$ =ws~kJ W;$[lȮN#A} v-}cf!Qj\e2t>qڤD;Bo@r=8EG1dIÃ;1tؒWo`zF7p?ӗtkf{9$`b(`'r)`YD~ې0G;$"0T 2s~?l,4>=柽Ӫً 2Cetב:GR: 0Q26gɨF~~Y9 zPbZ$+rp nPBQ˙zrKF` *GK| -inҒIq؄n@L=/R4"y̙L9oVk4H^gv( NI@#/y]ì}1CXeJYT(Z (N \w O34+%%oyJA2[B;gI%Ǐi6* X؟6'k)+l)J>md߅3dtI$oMZO )NZV/{凁Ni1Y&PA K p{A}}ލM#6̻hU6LaU! AT