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 LL1 L D ] IOA:threads=6elapsed=7.421cpu=29.700gc=1.072factor=4.007zXZִF! D]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K蚡`N@rf(Ɂu ?C݊uMp%13)3JN6>YޔAGN]Gg-%DLR4 V@n͸hv p % Z/# `\k\)l4P(/tLB1̞f<F'qW?嬎7%97 #`*as_× OV4::^Y03ZH.T!߷Xkk |!WҾŻ,(_[.45P( a ] Ҧ cѬ>NBnBƫha[)DB?ٽ+]dU~˜3`=_VbsE!TOji s&`gYZ7zXZִF! `}]ŗXiɟdN'LvH۹$?vYeqVug~R|iCJƀ@!/,n@GܖV3ʐ'jf"4ᆲ].@~o]Gh)pZp:vnx_Cj\̍@qW\V|H,HpYOV~EoK  ў~yk&i؁(y:Ҷ$O}φ==h}dLk:E4ɞ`K,&0o;⵬mqť.0F%0h_  n!Cs* բL(%mNV'ZfB萦?U%2F.㫎^`[}I$E:'Nt"6S JݱgYZ7zXZִF! %]ŗXi%9#C۬|%ф* ".|#ԿB pd rU ׃k(dO/ `JnRk^<<:g=a{,X%\&ӸFV~uKҠ:e4W 'Zz,&qź#ѬS"I?+Ol{Lx4Df4Qak\A43m~Wڔ s" wAXdv8Kg^P]-gݨr?[oxȷ̬h{#5׿&3 Hg|z2psyS&Ǣs.Ͽ@Cg:}3X\WN4GG]8; Q﫦>w+h:;A@֣c suIXD ~.J\vs:9U( 56z_}OAFL6VgOb Ҹ-Y WʪDzc&:F1v<3Y/r+r=Nx?i[dl@hQXŮz1ȐeNZ/ƨhV-q~z'!x4*iZ 73,7ΊM }GV$}, #Y=֝fjt3=uB#_jDV@ H(n}hk"ϑUT}Uc/Y'UN@>}vjK JgYZ4e25fe188b2df1b45abcd57c88d0f9f71caa373d3ea58d54a136a485954265ca6aee1aca00e66e9c a213deeff6e0f4dff740f020010b2ce9d72c57bc c7b28ee40a8409ac8939e7c0ca4ebb70f60073e7  IOA