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 ]3 F i('KsO#/67#cXꆷ[i;dVRvv¼bs'Mq8ܹn 3 Projective_Geometry  -a뛏F}Ԝ_"]`3(1X 5MMg6~Qsd?wEjtRV"/.>|'&}a:OGy!=r:,[ *_^i G22/xum,a>:c{ǝ' !$hulrAT= 6zhѾ%JyMy dv,D9ݯfIt(@yԉ²v 0ta/Gm}cK`lqO|K(/mc;f BiA /9;8tOg%ީ*5@\6Vqw@%LKO8܌0J%' 9{y-wb)/p/ՇqmwIs*G&jOdz{D~3o8(.OqYCT^\Fz|?&iu$b>:W<"_$3&Sבߥ ~s^F1&2}|e@ ПqD: ZɒyJ0&/ࢿyV( ]4b -v`xW6#)F *)N R}h~-FEΤqT"+s$dx#aN wGCYDQ'hEl{ud) ߞ6" CZ7ƴtˑ'N\Ծ'A}EqBwvYNn/P+Nf=t@sE˦gYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ :C\u8Au~9 h0f!D3ʧ*qR|%\yT{S\:p r< \4\!VŐ+H6*xNKUGm35K|7ߐQ(ڿk IK݄LUU8$B4lc"Rw#/&:rƱgYZ7zXZִF! ൝ ]ŗXi%>gs~~Kh+t6:[#&/Sϸ2B|5j"n7Y|k\Z+5zҔ 4v x 1mGEWi_VZߨRZV]3Pݎ>XQ^>{/F L=x mI N/8;un bDIC{7huv:jw{o ۣƊzS*G3? 93buv@aј@ L\'`2:<.C2o, l"+ Yas9gBKIr:VxC<𘭨7x٭:u#wZE֧?ѐquMA9o>Dx`ĮIu9`j%YJݐN$bp+Û0Ze0Տ F7(e|ͪdWU!,%ކ<6'O[@{~/.`u2[YL &Ӛog rt s "GڂPPċ"%f:u/iLfx n(p_RHKJBG \ʳe8z=e&,= 9< } t6XȎ4;b4mG5$1zA WuTWk͵GM9ҚV1u[sLgDPCU]SS< Y`.@T4ވjX-Hؤ*.&e3]a;t C! )X4PzHN tBǟ1ePzĞitf58QW(>pA M: E2.x (I$T&t!"߿73kj8MnR F^X/=&M#33McapXmuWi {a24S>s2 JNy2%b[ ǃ"Ľ͗ 펱=0[X<|==x` m{b8 'xG-f}XTB[DF̿ti<`z>-aOynjV-,W8|]}!Ao^}BI4-?Düt=~lq^Hu~cy/uEPěZCWI`윓9bC<$hZjP^! |1sU]HʣSU$=cWLy x2ڟ}Fq 0(fHzU;/[ JRر3;4Xft0)_#a@ wX o5NКwWW/.raף1SKM`h2Ec&e3l Z/!MċmnsY9≡{I~:T BbR|%3#` O)9Fe:!5JPgt! t4 4zeTJ=ɞ.煉)7" u&dc%<ʴeccĝ}2 {L<<9L^ƣtQTjYhŘKј^Y9ݥV +em١r+aj0t$"YBe@\گ\n)HX,A4%צyB&kȎW,}`>RY()G~O9gn[}(t*GdF;Vj)ZMH W쏿7-ZO{3 6*~ZkrCy_6D*k$ (t7螗TPt崻D,76N|lf;f#ٱ3_\Gr^sL>^C58]\#nWO?Bw&{dgCL]꜃@AT,L* ajo+j8c ,z @oOp p\^%@ 5M6ƈsgYZf3fafdd74b219e3ba658bc23bf0459f3bde14b9f97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3