SQLite format 3@ . BBh77otableisabelle_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  D ] IOA:threads=6elapsed=8.680cpu=34.556gc=1.404factor=3.987zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KsLm(Cȍ;^]?z7TtӤeeFfIVל024y HPъp>Zr WwR7$e4 GSowqaV7sE]Xu46I_ { ֏̩Ȯx˨IFh o/4GamEjRqv%Յkiv\o8dY)b|ԷOɏU*ċwSG+F!/cm[ϥr54 obhKߧq=`2嵆_SRO^1tTX^i7쾖J@[SNq+}`w߲m[FQ|ᒷ z5Uv.}BUV \Wv헂xd?l"[&qsM(mo9 ID I|X > gYZ7zXZִF! `]ŗXiɟdN'LvH۹/E]gig%1VKfh.=_qnp(>)+o4f"gikjqKw\k΂5M='V KK%A _gV F0Z7B]F'ס^Snw9wwe !v,TjL_W4EQG" AhV8vRp,/ $pPHK+A=5yʹwe]U3n+6TBl|)\YJJ'/*kȼ9=k.O7V4r]J Tcd1jb@plf6w 52NLW:owG \q~ 7j@W>El]ժz;ITNE{67Ox5G;un$%?;h&pO%&QCJ!r&$V* TD[3R 3`Ǡ;v\NbRMB2X.8,g ǃw;_cZ .4 tzpRY h;(}`r+lϽ_J+.=ٙ%X#_  b'4wCS]$h܀$ IfÖOmʁ_?FV/C}m3TѢ@L5XSp&+c~);@;E6cmeޅг?0ER#(׺-/b˜ۢ/s!*7jaHqxBݞX6{958SW*0'咳Xb8uL8 }G+ŢGE8^5 qTFTTgYZ714559bea4b182929702a44e1904a51660f91ecac3f84dba95bf0709c61a37f27d090eafa0bb6b15 5ec4a71d50b92c5aac197cb7db0025929ac32b1d f4d2b0941c75044228bcdaa1e6004fa0a411ffcf  IOA