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   a# L D ]]HOL-Nominal:threads=6elapsed=6.316cpu=12.964gc=0.600factor=2.057zXZִF! |]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTTkeը&)ǸDQy^s}Q]i <&@gW Hqzʎ + @}p3*ib{FTA !J :mߩ5S ?u LX~xv"B`nTUiX#0gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ d,]EώJw_}8#On`I'{J}YZ7zXZִF! i]ŗXi%;`j|UVC{ދ d&{(g1P`7#J5 HY!' 鄇INɴ0Ġ#Ā1WIs"6#v#x'|%w=s4喯޴|E"?$q$U0xUGrpgd5P+>h5ÑZzwt\*8ئcp>Tn!f!CH(2hTmM XXŨ*ppOƨC#h-]NB50nY.s`3,&〬RKD+Ui3v)t>g*~mO"smrWfMXjiLv/$ !Xhjअ#}&}U@kFBL kIbQ<z2ʛX) nk3Ek!lQAStbɝk^? RPK|(6UvЁʿ򚎪)_3mG [햸Dd/c,E7,IuyZ?_[eʨɧgr祌 zZS~jq(t Mdjyó3gy&lװ8$!5րT@@'wjG iǽsC[5ys뢆++hRbgoEB6z/_ !m!yE<nYڱgYZ7005f7d54a59df134591d9d0eea15d881ec3ab2276eaaa26d5dc8b218d0a611295d4ee3d6e6f203f eee62ea59121ed3e50df436f618922c8776e9ecf 975c8199fc5426d94aa9be585263124fdea5a8b44319001428df9ca35d5226b8b21a023fb930a245 # HOL-Nominal