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  3 || ]/ Projective_Geometry:threads=4elapsed=20.427cpu=64.972gc=0.504factor=3.187zXZִF! :]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, B(Ajl/}ȯrK׸foZ(SD?;|-fDq:k E;P#{!zUMpa)$iT /dK܁v:捋^ݨkL o(ja"Q!|H 㿲%;KQȼ᳅1bTΝu=f 6AëhGH0WKUL0"6Hͪ'Sۄ 'ڔaQ O˺ 6"%& L>>#! idw 3 Projective_Geometry  -V+9xB\({ J́ p&6'*A*)(2`#$ek:aBc|J:UUNIWh <{UDܕhRF.d%IzUt*/KsèQ}MƥQ:T0GEk6~RϔZzKF'rg&eS7i_sk)]רN%n儁%'c0A>YZ]'pٲSAAw2gWR^#u9[ݲF&Ô/xs5V1>5L+Xؓ}SH_0Ֆ8yA>FeKu)? I0/v|dNS7Vp*u1RԬSfه.|W/6 _;ҞaXEPT+ܳe 3VKCւz)hɏ?V:Lgu1=@Lo{:⯞@G(|J2ݰdZBtW;7քd"?tP1&qg6aeb4))ylnh Ekg}zCN5hxXHa;D! ƥ9Cʭ0̼l~:DKĆ ;g/ p}N)/ %QRm݌[fͼBq07LjiӞiw'..&Lif^Ak)TjI}VbdB%҉LzCimkGPä́w/+Y8[Ay(J&R\|,ԾHhaSАEȯgYZ7zXZִF! 7]ŗXi%BmpDx|pLb(eVŬXРydG;$K*AOŷ#Ҙc]eRCfq>{ڮ\8b8C.yHU+DYa>PѨDNH;|ܞa%: w{BQH[[?H` NfTcWwN09KRZGD-A6?֊8ΰUVp2tt1Sts% y!B$5wc /VqSZe ;VG:/CtU( 2OcIot} _n΁d7fc{1mZ?% E 4.<< v?`KL*pX^xy4ogb)cd% 6AQzl9ДZ޳=SZUCl^`f !5Uҍ_wllUvzFh+3q K)K`Yzekm,H8=Zjm+TJ܀)q8/[]$l^v`ECϟM0V[ëВS+8qa/j]-h}fyb1[b8Y I lXV\mcޙE#:/~e5x6/f d;%`j2AuP:{_v8a +5*De# xx]j >SZLXF>SFZ3Tۜw+]:TMhnբЯCi`}Qx ddx쁿v1D&~RkQ#"ncȷkc*lPZ QH2:.2cP Ma0)ղҍ7;R~Ё9d?Ok:v@c-,D4w`B%v7@ǰZ5j"F~#Dhc|[`D<-: !1:՜s낵,F$EgՅsRf-ȹN#DP g`7ړ !G,zskmjE#% -/k äS >9svسe8Uᤛu\bskہ{fEϟi) {{IU**iq8']zs~W* P/??NıgYZ872256b8ceff18129ff248129d37deccb62dccbbddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022