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 || Ll ] IOA:threads=6elapsed=7.196cpu=29.220gc=1.164factor=4.067zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSe֥ Y?ʿ"ӆzGL-h¢QuWs32,ׂ5 2ս XTszcYmhۀ Ԏ=mj[\Rvau '\m3Xl n ;J3vlTf*X<,օnC :ib^ڳJl=(UӖ6J־U9zs!^3[W0dI[` p=F_ SI>F~ڮgv%5eC9MMtT٭+;y\;<ɢ`O_SfGC )EyӈiT܏:z3Vt_aWfA%mvk-rw[i(ZegYZ7zXZִF! `z]ŗXiɟdN'LvH۹մQ2Ǫġ[ɓ~eKH|?Yybiv"no@S{I'ݦe8Xw8YRqojNHZVQ|oXܳK@p[ܦt1.vq&MvaC1|{ᯣk^1#/QВt44=`F$=Pg[bu`X"H%_Dړ$"zB|~ lOX -#Dwu)ܗ* CHrb61 81}YqPՆǙbV}vlZ?m3.)5ZoOm _Rx|mR_Dtadg\&e1 ,gYZ7zXZִF! #[m]ŗXi%ύ1Htp"匲c0\ձkM׿Si 6Au^持Í"{:|-'=1))iEWszM} fd;LbP&T+}ꮌX}rŕqĞתPfײ'4e 9 Ոd!nYCJasTNHJ~t~6wcb㭶y]|G./XJ~CFGyGVjXc `;Xk/m!؛XXb%Ј$ƕwF w)_% eZXh<+@vHtHqYx*; BYZlkFH0jɡ\Oziq͆;4dŬՀ~_V:nD<9BN}Z