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 3 4|l ]/ Projective_Geometry:threads=4elapsed=20.943cpu=72.976gc=1.340factor=3.487zXZִF! :]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, B(Ajl/}ȯrK׸m/7,}֋=hjAX]=u4c5l56^.ͱxd4z04V coCv߅J_GDe/Y_+cy=H,2R*Vu"xjiR ]<!5fkTz 'iK8\`UoK0x%F)B;,OX x\qhL.];'+LTa9ۣŸY2iS[gh.f~B) 3 Projective_Geometry  u!]/Aˇ:WOunEͯ$De˟p `?׋<̶-lX& T eOcni,_sh `sqN$7x F\Y^A4tRkR55R[HѫƇԻuŞSkwQ3Ā}]VG6V s $CBb/h->Fq5-WgUmPDEkMlaƄ #SҶιml2dGJ6\tz|QI)+iTةqc WMIAL]v9\ y_6s\cn6A$Ha;D! ƥ9Cʭ0̼l~:DKĆ ;!E5_yy J 3$/}[Cy%29.?LC&zB5f<L{~ P3-4bG tt.Q CviԽ^Wyn:AY!3K( Oe/4e8">Q.6UnL5՜`cygYZ7zXZִF! 0]ŗXi%G̉SLE$a6A1n|+Vܿ%q+ ~MeL%)*|?GW}3ǁ&:*AZs&?j,E|36HfhbU]'+<|g+bafIqb|ϏTHٛ)$fJʝxFwJ; 82a4{nSDsHxn7?PpBW5ݖ!!&_oĮM"YE07lt`o5xpG$6_2c`&5{o}gӄ/|!hfmiz]|6'HwsFvy>eS5 t8w4w-ԟXr;`_]jhL3ϱԙh;ZWPn'=aۭ^R&JMx5!fD|>2%88\ʞCNyBsX?4;Q8*~n t'GpxL`S`I*wK.@c,2HN Dz7t\ܯߣy/"cs/4Ix.R64B\`ۼ~UBCC&lgRyBf[Aߖxx^^}ipy-} 1N (K8TLeR F ;y,;TT7- v]zپ лF7O$h" ΄i`Wܗ9w2e2M`ڑ=WEDMd :`ܣǗ>ȋ8[FX%k>]ܾwαfsR+h_*\bq׿ ^Ml+rtş]>P Ă;xfP_ta'~H{zHU[MDt'XXIh<ՏKņne AcXa)4Ob>7s˛k[sRXd l%U!1Ҩzxji :EWA$K\yN̩Jl8?jU O:ƹÄ*,`PŘW+g~΃O>o]MX,Ѳpd[Jb qWDM)YQfm;߈&101,~5{KT)";%K&'%er+8{#C]bJޫL+UhcJalcr%b-RS+$qUP)$c'9%/|@{K1/T0>إ3Jf<1@h.MԺ@'ԕ2PumD+KVjkf(]]pWnE"9saL1/.t(׉-y4lߪ?s_lQR >c F2Yƫ[$1pICO$HxT!R%ҖOGn/$28yxy1pV,~C$bLD-0-vmWE16U&L!Xjt$(e{iUIpEbC210p#hX 5%.VJwʛI'qb1',ov=|A$%C^?ZUm&r`ܖ'_e2$s/1u srfnQ]NԐ" s-9'i?+9kvE҃RȇW9YˮrsɅzU/l9a`C+حԊ'X$/̬d2#ӓ Jch2)Ȋ>ESF?kbO YQOZI[ %&(*ƼKr0J" }gd݅%&oLd@K#n#{|?)HG,sَlճ| Oт #JDC/ylw噗AcKYo9NqV+ט-!P 4/\m/RFغ}dE#WO]1q"nރA!$Ad.Hh7iIFTtgZjyy'gYZ5b58f6dae6c5028ab9fc07a84674176cd6a23f9078a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59