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 Y3 DT ]/ Projective_Geometry:threads=4elapsed=19.752cpu=71.136gc=1.396factor=3.607zXZִF! < ]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL͆DWOsNWPwrp:c` 6yO:x>lKpy ~\pi PybJf{XzT^rb\MzHV96L,Nbg>!$jG%dާ䄀T*l-$E6S*ƪ=?-lF@D2qXDVq'%;/CϷ0 n~ )U Sn0qI#BM%HxW3'\&'EO 3 Projective_Geometry  `> 'T´G*v nzXe V\0(WjC[fWCPơ򶖯r\QrףI%5o=[2 T)unod:dqX<+0cJ9[/$rRf5`VgWZNh7޳)[J"Y 2RQU ynPCtxmE֟׌軩_ ?# Ɛ hk؉~[ p}t,=LiP,<9>Wy4&]oSu."zZ(j f>W,ΰqDiIv7}u=$30R`UNo%. 6Tvڏ9$II|bPyk֐_xCc^?8*ŘmlDwUW]k8BM5ͤ'U ~,`la\I';]6 GBfXg$"Ťkb"7W)ܩJIOPZ%0{P$4 S$NKzƆng]Į9Qݨ~\^Ic[}Ug5t6֓|ߧ)d)7*|>I-O?~{Țm풉M,S\ހg8Stih˜" ITͬAr/ZxUfˎs ȟ3&턞Rpk9N0k u4w.3'%!ʭTY2WP?6X1Z%ڭ8:rSsSYQ!^]/e?k~6?]{t- w21cC xoBgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;P@u8A<ݒdN.XwzxWYl]cE;-aC$`TMlGRz:;dn->nC, tLb a~Q(m{Aa 64SML?kO[CVR(>ݘmV"КR!gYZ7zXZִF! d]ŗXi%GgT5?6@hՇe{~іB!=jgn:*ـZQ0%y>3(y -#cO 9;ߟ+.1u!Its\.wޚ_R\L]v~߈gn]dFhm$/IIkvsp]<*Dn>!kاOŴ d W]9+2fD k:'Ԑ? })m* Rfr^]pʫvBbH픓OiP$aJxx!Ǫ7x|Es7 sԞl N >Ü>pix"LV?xWuF~Cl@!;XB!2N}2Ygekh"z"Ӹ@-x%q&'-,'T'3oCvj6m艉Hb(B'o QrZ΅ȳBEi8YcXc:aĎ2v"8 z=/ȓ\0Uy }t .4!8\e|Md b^AJQ01mBIg+mi$м F$b_`V'NowR7@p+|nib"Ga0<'+t L ҥnO b^0o#ju2ļdکiV/aL kwCWfp5+Dr 4E f#"Bc 퀢uяNy8 bUmX I+C|t)'P02L('+C sְ;-'@aA^! .FJ:# ~LG~g/fPYj kUot4TXY8N BWI#UIf'W!E:JkuU ڍ$hPք?D)a4-*sGum/7N<D\\edLTeglG~V}WL{80$7N@# $Y.攼 DbrWQO@o)o  B2( .d8<i Yv^&")Sefq5/,7厳DHZvo&+g[T!8IPvT';,S32n"#H}df&1WF5`X&#/iYR&ɉ&# jy3~/B.2gN[9 e/U\ikz]з%Fw:%/ :3rbB2\)裭fla+zZ[al-xܥƇ]H'W%S2uXu-xr"-b1"c(u¦L&噴f!D-wQ2`c-3XJWISʸi#/xL`"jgIEx_5\0sZE֍Qж&F1/n$iSgYZd4d0dcf65af71e44414747600bec6bd218d057d31795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b