SQLite format 3@ .;  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 m3 |D ]/ Projective_Geometry:threads=4elapsed=19.708cpu=69.380gc=1.340factor=3.527zXZִF! 9]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL͆:5Pvη->S?02`R"9$iF&p55(ـp][fe̱hZ&ђ<"sBjO>8 JvQF|# P`84@eObQ;I@s,` l0R3wr:P9DAIZϓEs})) U_YAeɜOqwۣh\OVP:ixIh^m*8 ݔ"I^aK O 3 Projective_Geometry   iD]eٞX'{-)VP2հdv'Yl0z*;0<Ǫ>LDCт{bH YKB WyX#ղ"Mc,Wt<~a8̙8(k#;F٦U]߼b7S`u_x3sޟ .I";3]C!.;0,hnm|SL%_FR37`F$YŲ딪r E`[泥.KDj-r`t.V'5Ey0(z߯k2Hp&2HO\~CЅ 5#W.j8)dAЗ8ƩOqn{lqLlsd_cX˂KfM{h1[Xdj sargYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;Ӹd£FrͺGdM%c:X?5"6tt$E3|˺ }+apV3`>6$[@Ƣ8^eFᚻWbYPl։GM|P Я˼];> Xt5?K{%sq#>2ב!cygYZ7zXZִF! H ]ŗXi%I oĥwռs!>'Wrɽڈ p.%]{# .rD,8oKf2Rl*JV8"iw}RnP4r,i.B Es{T/SlőY 8B]+> 829g'5;'DЉ]}ŁH;q- RH˜ ճ;Đ^ˮo/Ri#Q_=g L3mJ$)+9N~=6G%&|kSbWKNTv"/$-SY_mC< a`~K1N |$P6f FGZJDh7WK"6ϱ*J M}A>[K7?6VXTRbZ.wv7q&ZvJLwM,m",HFDXk(밈>o&7|[VuW,V6U33e4"uCkk5 }U[e#ͱo3m.C3!0N?@ݶQo2&Lʘ2821>#ϭᎢͨE"'|dG\-; O' dIze:ya}bK5t%PLOD{h89=d&R-{[رW'g8-p E%FNFb};Și;^|{ił7-|zDIUٕf┏X:jxALli˷̥]}71 ͬQV"==|ӛ4 W7#>~y)On^@_1 V'%!0 0`$V<.=*[Å@E%UI6sN1uV皗=}Jmt^~ϭ@$<_KT\#r^^%Vgwgq u4tGY^"ňfU.?c?$L6ȠФ B<.jY>kC-BQR9>0^rAoɣNQFT~)yb{rJ(QԞ X&~Ux14M-G&ebus†gB(?azrG[H@7,*.wQ!Z_`L+=ڀL+'zH컓%zԄ'H2-7:<6vzWGUeSw*IPV0nKO^c)ν\3z?/MQx6{Qn#b^:CoN&DMY Zr X1.bDˮ`'FkvIDZ519TȌ6\- ְDW"߳mc˧yЋ&q΃:ޗ* >cmfOAx:>sG#d.]<Ć]v Q.s=0yI?wyY@*\>L wǘ%̀ kR_ -SljF}t}O5?A(6a4p %#R.lTq r'>M {5bǾY͔lusчs =aU9QhD2&d>ʎٽ@$i HX@-WULgBg7t^ B#K\bU$ht^wZǶאu+fbϻzG}Cw.p? <}Ш@ 66d6aV@Q#"ryxZmwh%$[Ґ+.f4g|!Uf^Y[xSv_k$8,0F![CHH_~xrJF8bJC׏0p"@}'Jj NFI_ʞk"faE)n=slI}ΰHIHAwfлƯ-K _?}=~&1mX,[9` نRɒwfbgYZ53150c030326eae55de859794cf317e1bdd02b0c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22