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   c) d< ]/ FileRefinement:threads=2elapsed=8.633cpu=14.696gc=0.164factor=1.707zXZִF! E]ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-TʀOsQB Ca ɤ22.czj!'N̦,๬I6܇{p~Zf!~^/$ZsʡރR=:n=h<%("*SwG,7oco@]c[avBMdq<3 ̉|w-HػAҏT#iH?9jt0|W`'bS.z$ yh8)֦k 9"8))jtq^_.Ԯu-Bs[|c cy8l%\ي(/C7 p0F׭G#+7Z,gV}1_1ZKѵK~eЬ4Y IӝSX5k}=??, mͥm9د40NwlIEQ%OGN%P 0NeJC^0ǜw^nK5* tZ.j2>8#OGG=9^S b<8XY`"q%M@rl_#/2Gi=gFt?jm,*f}AZh)T[6ԏ$Wq٨ / ,b0D Ơ(+`bN|Hi"^8Pk;~ N8(RSZA??([ʓQJ0jne_d[yEXR0Qg3JQpgYZb52a7a3c56ac9a98f11c773d150819d96df7ee4c79d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c ) FileRefinement