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 # LT ]S CCS:threads=2elapsed=21.609cpu=35.736gc=1.044factor=1.657zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H2Wv 1p'*;6 jqrTZ=hQ.PLJ+&k+&@!Vjջb.5G|!W2YK)l7@/]NF'{]9vWR|)=$~^E%/f0cե3{oNa^1ړX ߷U@If4u]j 8`6e3>X:]dL܎:eT ˥V- 2۟1O+OK gT/zA82xFqBRp`_9Z "\Xl?~PL((BU|K3sb{310?&aTik#5e]#l(>\ g}z`׾ W$9QժVb]zԂr(J p"˃P%)M8K-`(GHN֌(/сgmD:j^jZkR+NO3kȢ4/pÍ4g%=*!#ZrBTq"͇0p|90iBhç(%]ug. ĜB3GaC^P@h@7KQհ1K$!|guHNZ4k:UlU˫CQsVP4 p]_ |vp$7ak ?o;8C_13c-|C[h 6GgYZ40320731f57ddc3edc8b6243328ee02aba88adb1273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 5ca168d939f9c93e1d84ee5ee9184cc72d8b1461  CCS