SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 4l ]/ Projective_Geometry:threads=2elapsed=40.022cpu=54.244gc=0.748factor=1.367zXZִF! 7R]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWUL[CsB[VvE#=iKeZO]p.[!7,np,gA'l|]((~cI|gD<MrNjKHp?T,}:"[6.rvVkq ol)6%3$>m*7݄?F|yzX\&A $˼exm~Db]7pI+؇M)ܵ\!nOO'.ՑV*6&:xƃ"B} -bb|efdcQaۗ`]5ľs6vCuݚJ$W@)@{+h C6?R#PgIeЗhAIAұ |h ^q =rON;T4{'ڧM|Ȯ_[ixtiV?Y갨M |tVUA;hZ7d%դrr<4qEIib|IV5` HD0 HHFb /!(TsK:3Z"KۋyE{X6)5''DYn&3l|eAs嬕oxK(R _mU-mQKn*|.^6ٻ/${S$MۖO!;#1EܱV†G~vo.Tr_rO6E0BaP"ONt'kCQ~z~:$o#\9驪~qʽO э۪ 2`C.x8S],%t|( ˫#/tjJô3T[8cSPmlx|b\3>aeTdebϿg ySnaecgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;COF3|iIOkƏ" N.u*~tyAeU^-v~zޞ6+a\ߪ Bjkdءn#g(S\$=U20lYBZ_ڵσswZ"a.0l!>>Gv2OY@6<xX6 ٰF .u.WNRmyt{zGkn=Dϝ_ȥ+eM+\Q2Evᘴ? j`D/TW DRRg2e:8;gΨ(r\@%-tq1"`Z)tHXGyTnwex9xQ`CAfs؜4TXa[0SX/ώz; GHmر]&Gǝ0, @Ir ߁*bT]FيN{~t,}K%dtU$>gp5\@̈^9ԁԒ`W>|D&(@t/lb.-K `<@2*6z%AGFvD6u`,$|gdCF<ؤ[`V n 9W'K1_F.'+U^CM1hE^Ʌ ;ad4YBɆAH٥H~nMh!T!}$lW_WX{靾7.S=瘒A{ŷ ),Ɨ>Wr)Rn }ZsPeξ]zT1 *L@ Ut]BS)J"<>{K91Q:-AܛQIgӧԴ 2 ibmzdb`XR-hҘ =JOAe‶`[@̹Ō<(őqȢZDXjs©h\7`۹Txy. yg뗕# aCDj5;_{5*Fvťhi>sh [ :fgxUm\:%TmJ:O69_VJ^V6iC6_4Ln+1g^ *_Q攐.u^2_l=r:z55AX"MawrGfFMJ9UF|UR<["g-g'B33`OV#7aJ(@qM۶7}8Z8NSOcUZI:vwc 9ޒ~]!k -Ū& I N/o:x*zq'TΣ薑D,Vh멛*$i^u+g͎gmpXüR OjĬݒgDZỔOւig!?A"tRS( fd:cIe[h^aGI2J/վ6>Vq ŶGBvG[9N=nؗoj &QHs6y!őIgVXi _&9)_G sZOG酖0J r;,c冨ӝg,0$;t0x_Aɟdٟo\ jev;a C mz'osjH5HQEBj&}? B/[aV' sJ!qz7t[g 8iDj_</Z3iK̟u3Y|i?FdSc\51*vrAN{_GO\g}3O4եP mnl~+q;X`rP>8Gɶ%{kY,x԰94 i@eNIx3 v׻rs4{>RqJUfVk}vxB{|DR{)^K"OdiO