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 13 tD ]/ Projective_Geometry:threads=2elapsed=32.855cpu=55.144gc=0.792factor=1.687zXZִF! ЏjH5kQb{㸔I(y^6R΢zD\1yz <-___W 3 Projective_Geometry  n/6;-22rXQ%RrB!})6EԓCt;@jՂ7 U.@ 9 }R܄g*ΆrcIb \%눨jENu{kyoxۺ/`T(y3̾[c]\㴼[9'/Szx M?k=[6A.~@V9jexWpQ<fvсYXr.ɻq&EhQ>qy(k?<8V%r7cc;BbzrBɶpp4rwzVSVy+# u*밲m;#!T㻔ӻ#=O"o1o_f@?bP( ;A9hGǶ9$ ٭>m@E-)y~ /2\=d‹D^$ ̡;PzGȨ$i0ѡG`Ԑ$Xbf眥3 zb}&ɫ yp"t N<]Xp{Bm l1U>NPUP {Lp2 ekJ/.7Pgi:L쟫'fVM7n#v8ξsdX=bΫ2lbP+E~_TA`:~i SU?d>zDZh#m_lEc,f;Y'%E63ן:p1S.V*U? cc%n2t*ʶK xA ıgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;C^TIUR;VK,z.X H5>=/dn@myq l/QO/weWbHώfe=@QJB5Tb]M@gYZ7zXZִF! = ]ŗXi%>g)Ǩ\ Z,Ko'Tp'SJOo-։ z\RY"_-Wűw .G9kݍ ._ )˳.* i=J-aP@0q̡SE2'ow"j< {/5@PN2 Hc)TRl!ivpBԛ0)1GAӅ \z xЮ)T $ rO~Y7UH,G;fC!-X1y09Ch3åd&J̴zw)zk:,E7Ma{(_jʅ൮DS 3,oq䳕FJj:kgˡG7s.֜Cu=uQwܯiL Rzҙ>Y]bI>q]RAJm֌6N,J?y""*]%SiF3!ƥq!S{#OdMh Y`:_O:4*$D|ְEU6ݬ`B Wd0-mbaTBrZf^Вe$FFEmrRȢZ!;6R D2OUc9]+Qj.z9?(q*G\IF \F Xη[DP*vw;>w׏yxk5VE ObIg1 qO(߂ a"A`/ ױ4^l~ViT<S-*:C(6AǙacg,yc}ד©iZQڝtD+~ h~x- ʪV/=Cet,c.CNف;Lķ>܃"!F)eмHv Zʝ^"R7EGS>gN0 ˺`$A/S?Q)P0(ꔮj[i5n w:7X$RlJ!@Ih0V ZuL HJ