SQLite format 3@ . YYQ77Atableisabelle_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, "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  k# L\ ]]HOL-Nominal:threads=2elapsed=7.203cpu=12.840gc=0.672factor=1.787zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯} Yʰ0:br*RAB]-ce: *;90MI_͘#y+lF:V52^3'k|.e_7֘`x%Z]hKI5ev'zLrWMW #@<<}-G* \B!N~B-V\> PA3yRJ& ݎ.:|+īGMSnl,H"9"崗$ئ/Bw 3gNa˨7"ٜALnO}cD&Cy(=nyQ?KgԱOrÍW!pbWa,xt=fX[bKF%ca$ @.CJPٍ:tOH;9 HVƼ9̸֭eUPnL~ L׊]9T|dCźR 1\`b]5ZԆC#[.[9_KP\>k۰&#s_Ʀ ;~{}˩B4a$9j.H:Q2F]-бb8xƆ<Ⅿ-=dXz=7W lAsb{va<ˣɷ\VJktHsn8yhQb  u'M#g>Mj͑d # gq?O|o0~6Vf8?R'R~ _L˪kg**vUh;#Zyj=Y=:㰽F±gYZ39eac978e868d87186d6197086101cc4107c4862e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d18c057b3d60158d743b564251a1ee7ca39cfddb4 # HOL-Nominal