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 ss  $l ]]]ZF:threads=6elapsed=12.363cpu=46.652gc=3.176factor=3.777zXZִF! ]ŗXf1-) enȈA XR„۱ awSc*N;0(^KbHd$AQdCDd!11AEc0%p82~6JP)!24X>z$sL;SEM/D$HNFm!q >I>Cǩ\߮&D-ÎzvXi( оdȶ P1n%`aW *,!3S=Ű݂\V6?S3b@CkÓ RSqs5]s,uo<27ưqoLt^6vWkF]IQMa,^eJT* Qf IP8mB蝑f{ [blib_v#)JN%O'@Nu~7+ ^s8;әf%I|*\ug9uX'{RoJ7.˺@AǯSS3j*ae1Qqb*ޟ;wl ϧBvcHv_RzALWou,+뻊Ad|ܱRmFw,-}+ G%AiΨW3&WLc|±(؇f$ _$>,HϷ<)4.rh!/NgקE3#`'_dDBl׎&7!ϓuEt69qM$ں&жbCGN**JT:`1tsg5aȶ8vL6حϤR`8%ۃC~1˖nB;u d8)5١ SKvWLyJ8wĥ^\cE9]vi N%/H dlK 6Fg[ 1(-gYZ7zXZִF! FD]ŗXi%J E`)ܾ~^S?&#J:NEz\.Qͧ5=</[J\ΗDˎ,DWw+=QY+=Je,8oˈ股yU)"pQ{Ìu͢x8%~eCNź&%fјWvN% Bsy3ilDKjp|rYq \I7⅄5DlWY8wu= ْdLL[XT~aD'd8f5KT7F;uw[c$*H4)sTbA]^&x&iC yC*$>LWѽi-_8vN[X٩>tSawzDh|g&9M\_(1"[uxUi]H(?!)4YtP2RaZZ+Zp %Q!0@ R䕼j8:fgRTcXJB&XYX: B&chhQU3_ޗY^8:eJ In`L"aiKIZjz].S{Cs<+*'xbjz>v0FE.1$ VNyZ.'8H(݊ @y874D3oʧ Ež߻|zцЊTި9Z} ɫLtϰCy Z)-@sA $zN螝1{GXcV=`ޟrVaɃϪDbqkx2d%zDH+"BnGl}=jvo`ŷJMƒ!^/M'lٳrT/=3X6,e U<[j[x^EelGx˽C+PRRl3_ʭHt6}aLHmVI,/!&֜}.ţY&R`B{ f_ݵrmO02 t)=.m9' w;t_1Kw==Z{56yYM{vZZ%I\H{"~ΣY$Y.ZY'%+* Z"9J -)<䢪U4UT\=JTZ JvSt 3º%/C!T"wvcVMV[T S{a|4c$fpk[A%ܦ#؅J"8:Wqb|-Gg|[w 6ϸ=4F4e fzlNi6϶n݁HOQ8mif ؜gYZ9ff72701d885dc0e4fc5a61b5caa69ae8d65c112c2de97967f5bbe0778dca40cd734a9a6aa349fd15324e1db43b3906276a35bb452c7a0eb056e8c1f  ZF