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 ZZ# <|< ] Isar_Ref:threads=2elapsed=11.022cpu=17.100gc=1.076factor=1.557zXZִF! U]ŗXf1-8>l޷VO +҄RXۼfxAay[Djba"vAhoIɴz ڌA c$%`Kezn*t3w[P,lRR27@NQ'!t%'}UK/| 4^daU-riT"!|?a H޿mc߻>.31WntAE݀m-}J'4  A)!szhL6_]BPOND]zC <PrWVOnj VgYZ7zXZִF! 96]ŗXiɟ]O5-|01 Wg9Ъ,3zqXݢ#3(bc݅ԎIIۄLt>)d^@G7/Ǝ<[lR4!5 N^RN~=R/-T_^+YRn8҃A_(*,3{E"\,sgA%O=/w";'n_s9f&Qsօ>j2*ꚅ4Od\謼zKtQ6g24ЄfӮacIt;O/JuJ 9;$~^ Fs'G[ytaGz_&dR{uNiC=!$mǨp?ԉIJ11Z)xFJsJz2,*3~G/|!)jCkٟC-]O_e{1c\K7j_fk2GbQMMqFjUG G3GRVPj /%/`#^ F1f @tVm&۸kh"|ڣq0Uh"8dK| ;[ .uIF1˨n:ٛyp| ,ܯ ةt9Zo7?.$sO(MU)yUMQDEs`)y(mɐ`ƽ#^q$K[}TG6y"q)~NJ0&$B\X`wxsя!JMhJ yVf΢Fg~gYZ28977ca29d82d91844f33a0d97cc8f66e336a88141dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 b462911b7460cac74c861650885356046443e0c9   Isar_Ref