SQLite format 3@ .;  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  q q-dLt ] Tarskis_Geometry:threads=4elapsed=29.367cpu=106.528gc=3.836factor=3.637zXZִF! .]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-R&)L;lZt8tj$~G:q(W )%' Y "so7A!9yK_ iM7QxΘŮҚ4kGч23?q|R06ѼpPQ\w#c"%'Z'k~Y 5^1vMMg+3|=G^sL*76 Hw$ K&{KMAXNC2z31]aTQoNCBǙ"QbJ~P9:MhǩiqJs0#q^Q=/t(SAmq#k#h0SƐ#G. zӬ{BQq2p43e oW7c{xBtt) z'Rp{k Y_QHT߀<[>G/ ?<d--N<(mqUߊQYU)GDmRqg)}} \,(tS A-Vx! y<]淣R-=d)]#i$ 붚+vJH. R.YWBG 8.b6tj7A碡RHC_6-4Gr$\ 7;zc*l3$ʠjC:fȕIzk5EpZD#_rkbQ>Y5?8~DŽe}?O!f͋>=W])|B%~h10iGxDlT2w,^S$Ň^3 dCm9$P b0ت92cD vgA( |De{/5!M|?,nː<, SLqșX=G䯘F;a@:חc: - Tarskis_Geometry  pO Eiv0h9v~SU@=Nn&#TX&ˆB0 );CNKɯW^b 6YE'} ˜"15S8>㗞\˯E->gkxg1zўIEoɿheF R꺿Y'7Ѯ0$9xJZ4iDEXVČVmqMAbyU>tJ ]k歱gYZ7zXZִF! L`]ŗXiɟMr^&%HiI6$ wĄ3!2Ԋv%QLMhRSWa-S] egf`[ȊJ˺-|{Gقvn(RWHU?S{a=vhkPnAxWIMwg%Nߐn@XZ6^J*=wŗA?Pw *6o:j?qbQ%D*W@k: nrkf;cCi6ikkW]A5TU wo P-͂C1~w0"[F'^82,(髋JOM.kɔ)STZRF1/ؙ] 3=&16q8J ķ3=4_ G15=XwIFfM{ezIXQ" 1 h_"?W  W:XUb [d*\VLR$cGx@CTyh5IбڠbʍV^:fwQq MO/ιYrU,;[2Ev^`$H[ eVv-`P[Il'W,U$1"qkٯPvXCZr4LL"ɼz9-gOquvxV|\:ji9#d>P{ Ei4f6$P:WA?]ѵ\`EM S}߶QTDzđ] bۃքƴ=P'F;:vT7xF[.j9/b-8S!=t =26(:jc'ءt*o]T%mF&;7weqDYsnpoRU`ץbd^_~vP;"\(0guy.2l J8Uu# S耈WrqjtzR\PxWc`n3&CEif%?9 (qsM;Q"[pL%Ey?3CU?,;>#'`7)[;AxlbFC>/ X=~*^G pM9gt ~ef (;>Onc3 2 ]nrj躟F\: .Xâre®!- xG(<„g lHN_*څNzsV_(2)잝Bi$7wxB&ؘa;?Z-J'(,xɞŷ=)?$qnw%忷E*6LuxL_\&ؗ+] \iGU[Ua`({HL|[908')b [xgZ0Q8zdޚu$A1LէI\2Q7 ) t-T|Kh=j'ȮZ`r+aY@GƠmc=5c ^@Hx!Ŭxk{1bV` #>4͜R闪<,גBBa5JSxm KU:< xV>釃= ~D!7ңaJQm *eCqk gzIUw> FBئ`|GKtha,7T#/a9墹q[Sy֢xMBoz j @ƍ?C#Uԇ71@YInITO#;>9t!acc=8s7;`HFb챧.Zޱ3mhݶcŞI~ZG [_&ӆw?u9{U!,F_5/DJ$C8k8`Zjb\i`CVa1h{dy{x8' ؔҲTFliT08!gYZ5d5fa8b8349e8f0433ee08ae6b10eccb392a6cced3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70