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 t< ]/ Projective_Geometry:threads=2elapsed=33.843cpu=54.512gc=0.876factor=1.617zXZִF! :{]ŗXf1-/6vR[3 G2p):ÖOޓS~5ن2Hr|"'3ɸE\Tp#X/(|8@Las14; V>m W]{+7cg* ?_*daW<{/<g5mq,>mdP]Mt+ہe Z 3 Projective_Geometry  N\}Ti cl8{[c8&3 V!EmOz8G](#OzİƌFI@>fܵo90~?W'?4dr¬IfE%+h֩we}Q5rIMzd(ޚB]!JYGMq&H;qHN&0UmqX҅Nukބ$nBNiWT^$3>v]p%?e$ &U(";As3&L*DA w4B}GMZDQyNi  Eю9%ma75“YM[S'^Kqd:@ךXCd7fr#mvKD8Zp{#_K[>U(S4f}$~HUQ4/'D j, m:t)6X'YMj~ w.|zNXA  uaX@gYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;C^TIUR;VK,z.XHr"M n  $eLωE0 &B\Ϟcj4s>h`<P\~kT}]ұ_6c-Z$m \ ڼ 1 zFh Z9O7 FfYA>Uʧ"5V gYZ7zXZִF! ]ŗXi%>g~.aLv0V)xo-ApC@1G@ &>bܥq Ci-}miiWa˖Կ̚Oj#mdçCTBW8I/I=N7wh EįȎϭ> v:W9?/C׳z+?#~Gep-uYU]^PCOU܉|[Q۰m;u!LwXM& ]jk,+Kx˶{w5?HoՂśopYFF)LIhryS"Vϫ!(v՘)i `x,|wF 5Z2hCͯ`<%@? vI}gC)SFBٜu%)|Z! [eCYZ)p8ֻBl%(BzXf"sj-N+T8DJцr3NCî 'TR[}W կFH9#N^69FDiW^Uzq#|v#FlLQIpܥb+5rY?}TGv4Pl^U:NfTI(,NawYFC3?I0l دKi)\d' D2{Xz}[u4{W쉤RUOl/S $v#Cot!㸈|$BiK#m0l o\]h?TJ mIq*ldH܈ܲ~R^=[H>hƢ/u9lypY~$8I4Sp"@ jPĻ-(>Ƚ D|Hð2؉J`MX#\N1!X ]~ ((|rVJ;ٸGTJ#`'iRBC`QWE>a!c$sչVo .0ak2ĝBy 6 Xf=h_A6+Q O}v4FhM/|CC&?$X8?,}c7K]))|i+/pw65&b%*&ٳԼ#HO54+ǥ RH]݊ @FԜ vCn ]("  nF:D{;)w8׎S5i<֘ړ{bcVEɖbs1n.8+ `CXʥ!eXřc!ل~6ZHz<+U s^*.SL0=$Nܨ dIE?g&f4VS$7BV_rT{B;;xu80'9v-M\V!@{*Izv1 ]<5Qҋ(e 9ڰʵ;)ݷe8D}])o58Qv5^ұpGR%Sm%aO,̺aJR윺!9o=% rHT2 r a[BYrYwQ <#ś9[ cg9CQ26Ъf k]H@ ̹m<|{m"ZJ &_84_q6pFv 0os?׺+ ،#/G|d= Qq &Lb~i5졊kWfqjy7M*Z .~s Z&5< 0ruzVrDLD$՞be*βO)/jBծ6H,y|լm8M ]2lV #`0rEH md\1WEְ 1WĤ&e){̗wl?“^.19Ik/xұgYZf3fafdd74b219e3ba658bc23bf0459f3bde14b9f767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418