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  ( (U# d  ]]HOL-Nominal:threads=6elapsed=6.167cpu=12.928gc=0.564factor=2.107zXZִF! &]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ207gyR|&p=F2p _-# ,eq87ɩ2n\5Gf(yP1K#`[uէdD'ݒ%~ C_֥1 ?K WgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´^Yzxxp,Bz!9S`^pb`I'{J}YZ7zXZִF! p]ŗXi%6YBk[)tc:o F ds=)񔜞>Juk\+!oy.3e]ȳ.xf^ߌw#=kj~sJMp XχײP\tܝ FXWv~,&f3i糙W0}$ d?'-RW6xږ'h2S uU͕;y RV^@vg+:1B4kWpъ [wyl+ DY[ l[@NBy!-Ar9J79 MtKg@vabwu/}׳ۏTtM P$Vxt<OݳRr+H'6͑ۦkNE߾+!@KX9 u0g~.uHXx@HbR$ppn^?I™Ga KZf!+GoИM5N*f/ sI%dݩK