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 A3 ,|D ]/ Projective_Geometry:threads=4elapsed=19.431cpu=63.968gc=0.652factor=3.297zXZִF! 8P]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL͛YhUyC48&8],t&l_K!3lew_59mc}/QS">z|w"$' NX4y ~C%/;V?EB T}P&=HS/> dZ>2$̜r,ϖnohVTJXtqg|lI#ԮZ|cka=:AS}n"-W0`ܗY lVXbXUMku mh$ط, 3 Projective_Geometry  pW_iv {B {_%8/}=^}KE8"#:tlg;Of N?Zni- ٸEy~2}Wo(y;+HbT?UFΒPߋD;9EbޟA(YQ2ĉN`o]4ac*h^c)"xJk^c zUNmߙbbGu5_-o":cuD;o!\`6v+F8}%|D+^qG} )9 odl85RMoY <'rTCn&bQ1OoaW q9_q*s;^l7&4)I KŜj#U%CwmA a ;#q؏&˞)j'ZfM v/@sm`Qw*In.p Qm,Dz=hfQmijVҐJ& Ⱥ[Y׈(0>}kFe | ;lxC_-xnȷ|vǰO|%oоU%#mV` en&[,7`KobBP?b-`WɔifU5-8 vj +JZm %vjkUB?3Vu+_3q]Ӷ pтjgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ :rp}N/N~U/3ٚ.5tχⒺEYtZGO5/FDjk+*7А(r(Xgގ^qfxd:aF1 "5'Rh׼J*UL՟O@NS,k`?v:RK88 އje0BKY4gYZ7zXZִF! 1 ]ŗXi%B $.'ؕ `817F0$WGԂ4u^xd-ΣW,g5H5|qPXLmg_ , MvCP ?HVe[pQط˾T˦hED`V/Cq!Sa<:Di7]e N$rbΤS\6^d @ qa&ZkȞtOK^Z֔D24r3thlgDi\]Aj͆؆iAf~\m{yo[;7NqKjnDݿf|!7n0*d̽$ڒWGKQ_c,xIy- Ĕ:Z5P,VƊU9uu#}t}!a{g(;jBQ =ӤOvPZgHXAmaJkZр3k1FX:xWb bk`(w5i|+4=h32)z,z`,Rp(30ea;7Dwǟo8/{٪khpG'{$ֶ)/v?sx"}z]i{v[ '*zP]UXB;fY!Z/Au%ˠxӨȩLG~]$9G$4iǽEs|@-HLa)t%-fsM*z-Wr -_s1kxuEC6%-