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 93 Dt$ ]/ Projective_Geometry:threads=4elapsed=20.448cpu=66.160gc=0.668factor=3.247zXZִF! 9]ŗXf[&Y7 Kع\(y)Zc|qe =Sg^-u5, %dn}[7ZWULc>eqQ9r5ӿFR2R&Lh) e/Q-։ (|BrVIHmn2^.Pi=`=جGF{G`4#3JjJ!WJ!t.7M )鬫'Q F%6Av1SvwC4FZ=:c‡d܊ maE'RLfNN*<z6]Gpb 3 Projective_Geometry  b~|7zUVtC[X)!?LeWb=:%D :PSC@^L @ ța-<fvj&Tr}Zmn1() ϊ=I^!r NRein-Ur>5z9#ʾSa\>uږӪ-7NJꂨ#!u&S'.Ksiiq o} 2Jv8[mjGM@ɂ%]nT\ 謔b}fɺw HH$OY#LJն!*Q#-. &.ʮ>dTŽ}8Y5 TìHbRY!MtHlRsܖm/7q&xTF݅u7?\rȚA@?0|#/)59v 2݄"5|M3 rJTgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ ;COF3|\6]nD[rEh 0SZȭlbG .*އO î`쿵X^Ivc!ǵwH(mRmq=A9 1Ro.:MнDec̞xHaBaYR+C9f%Sfig##Mh[G͙wu}$/D[mZ6tYeڔr=WYyw猜2ojX4NSoՊo(x=0cLiswoR?*'qٛK6Y/&=GލҘou]hLEJ E +*: }Rv:/s/hF=FT;>壗ԟhmjYu$S<]ڐ%f?1PlṏO",p]oiu’L+2,T3h4HRk5ֿ "]% },PK[ (q1oU,FJMd]g(=kT7v;3CjM&uGif$W=U ;;ErfCP \A( ?պ 7]њ,l~@gi(팞4h#?T~m^ MIz'?Ғa :p\k$Qv1^U# |oF o4INEQD.nm"ɝmڥ^O,WO`Uv+H<ɋj=墐Y +)[go@y¤F+n?URZ}qnJWR^qiuP"yj2IoUivLG򒅁=Y7 qw,%sPO'&bRoKԝk9w@N>$&I ^S k% >w