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 3 t$ ]/ Projective_Geometry:threads=4elapsed=22.099cpu=76.820gc=1.412factor=3.487zXZִF! =]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWULͳ ?;]Aw\hW)굒Hxu Q~[;#1-*@N q!c:d c0NRgl[ xR3fu (: ;]Jn#s!YU=Ett2Ym!I^RГP':NOiǚtPip#7f0uw{K}wA;Pi 6weN*9>|OV`6Al}in֝@4 `~4F ۼr 3 Projective_Geometry  | *^N/!-< l1x:T%()*P ӦfUSЃ0T\bLօ!RS+S2rJ%?k~~_ɤ/GJqw@ "XY5&T)=Q8CSt+)MUfR0/=iG_'M.NXJ>l@{RH8s13ilݵ5vj<Å}.@ Mtf>x ~}8{_],s> >̹>Ԁk)B:3D?8$vJ {a7mEkUůIr VIhM;/3Ԋ'] #OpA8z5l؟L-=bp]$P3TJ^#l+YPDDuђ/%JB nėu;@o3Aslxu)יtH s̵t[8n=4A̚j"_# QJ2^30`!aHWJgH3u!N&I8IŘTu]ymZX֭mI=᎔SDiݱ m3&gg;x9:˫Szp\H&Ѡ?Rxb̥+@#?PXG OR1l7sEN 1h=sֹiˑƏ=VDCE,ZbWHRu_lj$E~q+* {"ޱgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ T XN2gH F)nZ^o*rWJ8jvVRu2 vG%5Wr: "rύҗG?*>s)zi?=vWc`iַxaFbr:Pï3޼RRUӊJ lh#jC(ȯgYZ7zXZִF! ]ŗXi%L 0j$!i]hO@J~!C!̧`{{Qn&${h{^+6x}QhbB,`N"/%V%ݻR_h/ߙcI0^pv%%#.!ˮ/ vN sr4DjN&uZU@2P-r>[:ovNrteI;p-2[x:z% qJm.[8ˮ3c;IXIo$Z%y .1I*ˡ< Yk*6 +CLW_q{U8†sM;L'3ǚ`H7q0Dli8P%B}ܜؚ)H.DE)cRx.4&UBDXB->Q#9S$-Uoc]gضJ+a4v"S-#7+x僂q_h̭@ՐnЂTm^"-ʾ9 Y2'gM~c){8.DjM &LV,׃3E&8 (e GXOC|]f}`%u*GbX A IhJ ҟ&pQ ! Ĝ Dh|[(T[w!{{\|+fchU5 Ɨ4I{їz 扼9vzZ$>V`fgplmIߍAhIaZfx>q_;"g^%ASW3+N9ڜqb=`Z㗅AnVԨni|~.֟q FBw />NGP']G in>^uyCنA1Oa?so@)t4;N^xm4"#0-i!Phvؖm_fmwa}$;1 yEfVD 1-ԣfnɗZ@VCKd(ց鬷Ct¢ڊx@UW ^鬠7E(R^/՚)vdT]z>SeXP&K\BaH+ Kߊv=9l 4E AAqcKpęCL_rݧ6_v֘0y=5ɂq ͣ$ߝQxOe|my6+z5(y%G!V<͑1adL1&g+ wblj7WD](a~. NI$ _H&j?(ר_;rhgYZ1460b6187c7d25d1e10c4886934a13a881440ebdd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3