SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 L wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.578cpu=12.492gc=0.492factor=1.657zXZִF! p]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pރEu1&~7-vm;b0Uq&@ժ 1I!R I.Ǎ+]o XDfeQ1+rAxD!gB h=n=$uhb{c7fn5KYPb`b5? ?5gYZ7zXZִF! ,}>]ŗXi%6y48u4ipԸS:пUᛡӑ3cdDɞƫJ{v"?g)q-xbSI-#@ GeW[NnƏ0mH鑍aldC5˯|];v^]W*/5϶tDظ9?5>[I$Z׎bvoŞ"`Q5Eχ{'~P^bD33hgX׃g6{p