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 m3 |, ]/ Projective_Geometry:threads=4elapsed=22.623cpu=79.720gc=1.532factor=3.527zXZִF! >]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWULr-*uAѣ@;7xQGzBB)@KV#O` &J5ag V0̗:-UbY1Ri)xl4)T )TDJ^E6Ag{S4@@nX JgfŽG*mtB/eVQ4ȹI=?TuDitP)v!+G>M_V -^![b = z7V'4<4S7vVEX$}~a PZ=j}r%/RVȿɔ 3 Projective_Geometry  m2$o5R" KuRoŘ"ur$hvv߷T:r8k8vbm_BJ8% bQj^ BzMpd4 Tm,Z?)LDKu1 H)m _ePnWBšШ2DAxo|׸=Đa">j*%%%D'O|"$^mَ@~Q?orb~FB0g`@=&<:ܸ` 7 3sJ:lJ} rnbK̦r:1% X$)KOq~*kūYx;Ф`@/ɝbS}—hmނ[pR Gʱ!Dh?"( FNE2p^b-TiIW.qT ,vnGκl$]&&y3A+~%-b,uzIH=ssO{\4D& 8^|+' GYTm\H~y3*g(CIYC))m-XI{osKĴefnMs!Nw>?ކqEFÐfo2,& KɁS[1|Y./ IH/grrNPTRqF| GEA~g^w.pGxL˝ :]'K\lY#F)Ãoo9 uB,Z{Q IcVA٤|4zs\CKVD~L?/TFkdIFKS~'[. |W籞gYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;͓5d©Q4Řb(` MM _3'`8Ie*|y *Of IUq}3ehEzhD$Ѧbu= H{JPpȺ:C=O &fY2CAيSdgYZ7zXZִF! P]ŗXi%GV![`QϝJ :G 5Py%LC C*ڂat/xoL2nbJ;MhOjT4&7C,~t}|N,?Eσs$p uJ\Er\[6h߅}+ݱ_ۏqKq7”R8x$o9h3ө(a:CnyTz~{ @(Bm16dqjy({b8VƏ%sAVheeQ֤B! 8'#6|<6l׭`i DcS۱bIzMMjP’Y4m^xniTDj1<;ew<]P|@EhmJ}I%RO\ J℩ ޘ?3|O00胅@ p䌁lUr|\رsL)xD_ܨU*'3@)X\i!0'Q&(F.{D] j+<|c)f#Z$2.~m=2/Q|¹.tt_]9rMlee!KtHY‚ "bpd?[X[N" +I?`Ou~^:UzA{i&Mu .1pJ &[Q?qgo2Vqg4~?Wn?IX ku԰Iix~s3l`}-MLi3**{r^Jv@b5" aFpVR'֭M#S@]ٟBQYIcچNސsN 4m2\qL㶧7QqP[rBĶ5T=ܧys Tf:EHP Y$0Uݏå^zzp }U#{BF!*W6TN1a/jl޾ʯbd=~4OGD\9 >Ad3"SN-l,N=q.y>uPU9&;zB=t!.^Z[3 W V&wM!N$ Ūǹ6SѦMu N;)*N=/_{5 {p}#/xY <"fqXx4~eX6e%aiL{LɊDg5PךeXw0@n9?=hmUZq3miڢel}ee@ K*x*ʮr)o.k/]ZƳZdܔLXjYQ$ɜЛ{h%n[@ߗd 26NX zt1hK#4 0ۼNJ?Kfl ʙwelEnF݂;~D?(2cl04XcSvvdS*RX'Tgąܒ6S 7e* qM[fb? u,+7,1d@O[zt 4 VBEg3C4Aa;vBk k~P}&U`IB$5(LSgYZ6e5dc59ce08d027edad54970baa3a0bb51058aae4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2