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  h%, ]/ HOL-NanoJava:threads=2elapsed=6.023cpu=9.824gc=0.512factor=1.637zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sWBN?埫f]ƢeMP،6BCiSÛJ|;_%N+ N:5 6Iʇ8صkp-vYIX\MngZ?l ' M~܄38bftj~ Zt9-~Ij~E~aK9{ CkDh_ Vw T#gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EVO 3^s&q9A5rz9c迤 Yu*^Sr*$ȒϦg')˛1wd[#?) 2wC j򆣽7|A~_q.u,ݴylɯqܰ+6ͱgYZ7zXZִF! *]ŗXi%;iS`cGA"bA[Lr>{UcñW,xםj?0`GՇLIO.M@՝ո?mPпYHф!xɤ_aHPIOHt& Ҥ.ڦW ;>bd2zR#j6~y/bVA`"^'c93*@p Ē(1^-ө%+&cؾKcƪ(~9n#^bN1KBUܕxwfl׽}Lpk>VX35?(S򹻐`:yty:Ch/z Xbc M”5HD[-K76xߟB!~7J.qewD"n1Nv-Ln7NQrwvj[?hN&E,ϲJB_> .Z>-jJհeK]Dqobɚ#0(W}Q;[1׵NnFAWNVHɁˡXD']EeuT?#ͣc|UYP]C͙֝ _اaXގ?'S{ :;wD4YX tn AZ+{{k+y<z$7>1ّcZľzf.hT