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  * *Sp |D ]/ Bondy:threads=4elapsed=0.555cpu=0.664gc=0.0007zXZִF! ?:]ŗXiɟDŽ4X.jݐ2 TF- 3(i@Ӏ:ij_V@i}YZ7zXZִF! []ŗXi%D4Kh-گX 3+*ф<~(MtVsaK:"MI&HP2*7-sc6ش8۩G dT,С2᩠ ly|M/Rn+?\<]ʬ9X#`[J5bqQ $&z`"sLDi\*6<-"'Fgɦ8(MWF~!vmgi^f^X/WW]ntYYAPwKy0?IG>!yQ &o2^z{^3nkMEmu鬗G_҉A|l&HCPL'i?Z=qf.+M]5#j|8 Fb;Md&JDA 2EV* +mLjO\IT'xc[|צ [ATOUv'< (J6# oVasH اY-_Rh6 i>$C YEl?{gc~տcpvP A1pH ~{zxЕq,'^ W9" t+9N/O`|j3dR3h#q$OOfwz%v\3CR7Ed`c@f|C c\* nAI1z D~ְ UxY'ÌytsѬ&!q EG\x,d%.RuYhHРL8E-fӶҮp (z܅F.zSB:(膈9bWf\;,D~`r $5I{n a:Jj4OoOr+DV1pMjh,rr#l_'Hw<)Bt!nN%b.X2AD󵻒G`+s,fyų6wIo+&OKR7o}3hlaldn0w! D2tƠhvӲ׬pmǫ|04woӏWf~9i類M|+5:hYK>ӄqlh|1߷'mr V p̑ eg2j)IQReKb7wA>hB*}ޅcZ m~y;q˃[fYKt~Wr!Ҩt!o$g)KfI?pƻ"6\t'G[GHmW8'+l _ ]w.*wQW*_VLZvTH0K ̽МT")^plBg{LZ[k Ƙ7ϟ+OSUUh( |F;y r;,#P[uگ"oQ]+HC7ҍP@N+?ui1;9* #n;3 5]&}3VHz3t*l]4R f ,.7д: ר~pgYZ !#% BondyBondy.Bondydocument.tex