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  2)TDD ]/ ClockSynchInst:threads=2elapsed=3.421cpu=6.752gc=0.132factor=1.977zXZִF! ]ŗXf1-/6vRZysB N^MJ+f5`9|H's#O%=[>Ե5$iج[tP`EG=BXT!w@+ dP3dG<s!*HEidI< 8Ʒ#hɨxws|b9gYZ7zXZִF! Z]ŗXiɟlQ#ۈrKn6úw;?׆SY)Z_omug#.k)A|G(\SsNM S4|( ߯ i㘠 ty6H.z#q~5W4 kէS!~sI *jq1JJR̽e}?|T!5a߯;Clq:a&HɞSnV}zt-|?sqΌ `zz6T=]=@Y$zwJDމfGZ1%k[Ӈ** JsvWozRA.:diQ-EPb{:bmdא4[c 4tܧ~[9qaH(+L O,] N )h ~Hlhqƫ#mnk P'w/>{^]IfMbtu"&B*$vt# l\\ڏy _"եݹp 13VKr|0`Q/~K}뮰ٌ/M[pm?r-+뢾H5oX*P!_Xv};ɈjG!֞545of-,-V"1_ Q򴗺ޮzE.W[V!^ux%Y\S61S M7}ıgYZ83436b8e0ce1683b4b54cf0245814b76ba21bda3620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 ) ClockSynchInst