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 $L ]/ Projective_Geometry:threads=8elapsed=11.281cpu=67.267gc=1.348factor=5.967zXZִF! = ]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL@+6s/Ucp.gt3z"W \ܺ|Eu{1PBtK,{ /lyEbx6?C$h1X'vB Lrq @j-?$¥Y)xJ (vHp@p2wہDBFLHLO_-- ~ /׋bt ~W3q(͝"1Eu*bBS9ڶDe'Pr{7!=Cn (V9!m/)+1* BSֻl3<.e0Вp bf_.IۿV"weqxsҁ& RT6(6pUZ+YZ(ǪEJq uYp`Z_P݆PxH:|c>JX-,bJ}S|õVdxTƝ떿8\uKofs Gw^P:ݞ )+՘bV2:I ]Im}&h.]l(90iЋp=9q@p{1Q`:oS=r\BU\f`x>SaDC?ЬF'ŕBl2zF hָ4U?O4o_Zje:2]_Y@| .d3a<%UT6M-%jڵ.LR="WdLbp tGJ,]RlƀVlm)'ͼ"5b8@䍣1 G F[̊K%ɂY:Qn7 f(j@zfcP]˰km"@oq#h!jZv0L a7*`ZCb ?<&m[s+x~L-@ujZln.)e:L)Z { ᳱgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;g/ p}N 3"moB>{uI'81;kNs~0jP<^ 5hDnnSBy6rncW!gYZ7zXZִF! N`]ŗXi%>t{4$h3"^#SvpM)yȤ_νoOJq^\R^ҍWflLbޘtY8[l3`n%z7?hɟ"#,Ŧ˙3y7k!PQӝPHctI95bIMH.f{IOg.tWv3 AYAUVٖFc<+ +QuQZm/!=\۴i EV"z,S֧@ Z;AVHV[vVVCm~`2#Oƨ=ӛ1IfU^Gm8OJʗx{,|-MfIҢ[TVd8|'w9%og%iH&XU^jS߼-a/=s D.@Jx"Z_2w:bC+~0@CEvNSC7{YJAmln.CTY&wpnu,(c=RR^9׉6Iw"ݦ|xY9f/^>5-?+Hĉ,xa!\^~GB{`g+}DvlVt:- 'tHN8YRK'VP3&ݯI7KEh+Cs𛰖۷v|û)b~)*[l5fu۳[^ÓқJ~t~<[|}0_y>%7҈"2<֞mG"0~T` J8Wn{ VUPZ8I%7K,}uy/="vJnYc LRGNUyC?Β % #TȲeq :B"k-ZH<=8 ltL2Gk6c6K!y/Ω _t[YSln6`hr+ԡA ŝhɱgYZ5de190ecb8c3c40154b95f400b343691ffeb519ac58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 3 Projective_Geometry