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  J J+- T ] Tarskis_Geometry:threads=4elapsed=27.416cpu=98.220gc=2.996factor=3.587zXZִF! +]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-Ω T@I`VAGh`>bIcN3= f[e,.V0S1|Gӎ$(漇)*fΑ3W窗[PCO͔OGI߱k,.*Jm۳A^ Ge8j.^bX>:UQ +QPnR[ /G`8`]!RJ1cb'tخPiq1u:QT~'?r.R5܍<)_8ɶ8O'*Y"%tLkMĒL(\uq{lj5B˙bUs`CmRC HC> gLc}0xkj IN? Kae*յ SUxsIL|9m - Tarskis_Geometry  A1ALvQ66,&^Qus:.JV^ R4 "V !/YSlӊ6u?6MHEYmCb^y+XvrCAz_ķ dePI0ۥݷAt&ᰓ%[|&xsU Q/)A5-r5K S?s"+\`ć[%׭;he2r]RՔ]m0Ќ8t _$U-)UWZx[H1q)nQ gRhyaT W0ܱgYZ7zXZִF! La]ŗXiɟMr^&%HiI6$ wĄY҈<,Sp#swoI3ctC٩nTtq' P\ E>Uޯ>(wCj\BjZ X E DmԲW +q%)km[͙@ (0C2AlEz<\'1% Zeqt<=g##/$wTpY*8&D/z "Լ`\Rэ_Ea/ohq?QnjmI S_U7+i3&'[9" ğ/W 1j^#Zʛ^ݢ,~0 \xrjv\9iU1Vq2FrRI_uB'u"Όy:3V EGSE'F1wP7yVB LAI77ϱmRu1+F!r1'-)-1'zy`4͜u>v&)zLWr;S?%Z{w7G yG:'O>3.'>DCFb 6ݖӈSi2*Xja/}T-ifF>Zs֪9WRJ9)a m P7N*;{ %_ĝ:e=Qms^`Ǿ1i_jKrR}iT'>?-46piA'uPOxd"ʤPBK FWˮOvaShA-MB2҂6`_%҆ys6켅U]tZmmV_ z؞ė`rϮ ~JgfMT E[QV{$\Çd6>)Z|"pZ 4unY~ F\ɎH->{/AAhEډ/Yph2[e&Ǹw|{XfRbzIMsֲ; +>j Q:AT4ESyZjC!Sfܯ.2Ϩ1hSYӳߘD塍 tn/xIqu1YŚG{eaǻ\e3Cs4q]ml6`/hNr8b/dְZߣnb Bw [H+RWKeQ\ b\IyH' @D=Ei ins~SĨ]BI)e~kE]QT`=wN[^x綰QYT˧_1ɣx`M@?#!S B- v_N~shjĸucRv:DB3׽V|֌T- Zg|\kAAlfyNNقg]L <SJ۳&Z]7tez'RX22"U6WX8 Ed+_g%iDy;gLw IkB@H˔Cuu.+U[ӎpԼ2$2l@4"t;98;XPݗyx]W֭3 ]=  # 8~U,Ihe-}wɛiO wfCV2HNŻ!|̇O0 f8V)01+ۼZIqR`<"Ly~BN}~oTC!4| ALfGe@_-v4[-hЕ^x-t=DUlƥt =4I%wtFю8PIHMdK~C@vLWOE¸ K6>]g So[[gMAg6iK87xXKGTqX` A;6k֛^M[V!< C9r8F\& o we'c"$qzoRgja:tӪg[Kzwy ljn 964).ianqRLՙNbz6:.I$S 9D,u+]$wI$H(ƥgv'YpBSocyYKجqPTqn DqbIպezI P)95IgYZc744704cb9644dd1ba7a5f5ad3562db6393d677176b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9