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  ]# t  ]]HOL-Nominal:threads=6elapsed=6.061cpu=12.524gc=0.552factor=2.077zXZִF! ~]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮeYR~g ]r&1u3-Q*;b:Ziǥ|JPEM죖t[+ iM``wmZjeM3xBx'(O@Boeq-(M[<*-hx.׺Tbd?opp=*1'y*YΘH-):ƚWwhI)213O.45W}2gs;lqAEбjjh" =$ nntw -T )C'ʲ)A b#~-\Z9Zp5!)Aᏽ`8)͇xoMԦrh,G>UL~0`lQ  *l\#uŭAԜb)9\]N*PKK.œov_a^0.Ti4l톅#ǹ6#䀌v';!}-AQ ~QEGx8&Lt\H3CI=}L3(}?yVRsfU:>MAByCd KC#zc(#N#mW3T31sI^LXQCT4ehcJ6c]'Σ|P2{ _r?N\9ϐe1u{M$0dj3|ԋr9?TPD<xgYZ2994ac270b1fb2cc49f9efb15bdc6fc48ce5d13c341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625 76a013833eac43a00f0f01bc7c1c66e403c8a83507fd7f07f0d1a8cce7c046f5e2de308560e9f493 # HOL-Nominal