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 vv \d| ] HyperCTL:threads=2elapsed=17.244cpu=27.564gc=1.132factor=1.607zXZִF! d]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]w98P"C>scw&%dٔ@؊Q!|k(bgNwZ{SSbl@MiQf*{2?$< EE-\_dPEċ1!\ao>*1Y'a;޹O /#U_c$*? Iʢ5&N^Y[QZu x]GƼ͊874sN8+dPg{NM䗐[܁|QH( ׀ӆJm0Kޝc3 `*E+^2.&yv|::-F P. SG)2;#|v :gq Wg;( [VE8$~h"aHy ;w;pj˰J%:ENmzEGs,gXsa#} G"J- gYZ7zXZִF! Ym5]ŗXi%9#qt@6 Tױꇥh@>šI>B]0e-d7A5X{8Kiy8)XՙSj?Y*2&id#}ʎr [x1:mhp[DY\8r8cQd B3HK}L(_橨..j!Yꯖ8'MzbuiEwtƅn!iρmÆz-ley+Ag/F\XiˤDN9(BX1q0bSseEu]ԣ._]Pk̊/S-TED27y\F 5̏=59a'lsC LH" ^9$K\ʪ,6De){)jN~;$Τ~G pҩӢ3W웽3tKv5Ӷ>*~\\OxSAk=a5o$ dX}C.tW`M]g __n^ҹ *j#T%aaW3W >8 sw 6/?:]Ȓ]M.Pdh641s'XCo#{][_A0Qc0)`G3s𾥃wX=Hs%j%.Ę>L:#jnTbeU_LGkκp한K0w=SN=?墘I2aAAH9WG^PzG< K pEm@~kG EmܡT{ ЬFiЧW1 L'#źk"ĢFf\ggl! {4ӟHa.Q;ǹ{->"߃25ahmJZrHJS 6W[ $Nqa]Bt n͢d&U2'AG!s_瀀5_}=9Z|@֔F r7bF~Pܳ;Uxni66ĞiꨊY̗2}jAAX!S^}}װU]ZPRgomh=D0k8ESQL$*3H|CΞX1287eQw&@v˥ ҝA`bԺ7?mfƅ͖Bnj{@0xIcq; ]L:M LkJ6L"=?QZN ƽSEgu|Uh" _[dK2AhԳYvƌ bP&^$*'N .湱gYZb243c54604a52db406d20e7a82a9ebbd68e2e44e8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c   HyperCTL