SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 QQ$4 S/ HOL-IOA:threads=2elapsed=2.554cpu=4.128gc=0.100factor=1.627zXZִF! ]ŗXf1-q恈^W.U?Eԑ1[ǡMUX\!RHPE 0!"XPGZ.ȿfMsMg 4EtyzдpvFgK8U@t<,[jϽ9LoreEqߐdJBK`=Ա㥔EʴG>Rn)z e~԰2yڱ;KuFVr=ݣj`pʭ?9m)d}SU[kSRi9   HOL-IOA'Y/a?cq>Eς]:q̪*A.;d2?Dv]G2KMD4&W8'Y*11U;gJp?,ی& q-]e|O(F?.sy,=MU2<@2sb8 p ]/"J\OI{EDF*T)$3gYZ7zXZִF! ]ŗXi%B(U;鏠<Ь؁ fy'B3آEk&l~$-CHGcI/(wFzm|8\}cוqpݡ/!hG7wXa,،ǢzX368FE)<&A@b4%!8 ]p@ m:/vtcx֛TGƷqH㋡ uHdJM?HMݟzWH›dY 9d GW"kn#AnQ%GJrV]\vt\Ao0tW}<ӱP^Ob|ujX4d+3klذ^UN(ۋL &LDT ϝLCZ\x]@ִ=1lsK/P]~D@tvLO_*fN%C8\vX^n<jgYZ17d4bdcbc3732afba946b9e132a42f895e626d76 4bf14543e74625e7d98554527128b5fcd79c1e54 c8e73ee5d5c4fb9b5942e9943404da1fa557276a e201918a65f6bf556c21c846b06edd560f25ed4f0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903