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  ]#   ]]HOL-Nominal:threads=6elapsed=6.156cpu=13.000gc=0.640factor=2.117zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i P.諈6DǸDP#>usD8Lg.L+&NNwH_?Š;éCpx9Z;!d>:uǎ%N esD_B??J٪enG6*@FfHs4h4g )gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´Jw_p@ + ɜ1kd* @ZR[`I'{J}YZ7zXZִF! s]ŗXi%90g1YFy`{?/ڲ5E+<#c3(x$)m];O٨8nQBѶ#YFR]zv]4^}op0{QXBOƾF2:ЗI?ժ9 k9Evu{Lyl 6[ sd=mk]CR؍aqvݢ۞#(oc|8ziug^bl+9:XѳFCK(2B )i|sTDÞfnL'3BSLIՍ~D [PˊܞiYٚ"NO  v:p&{L1#!CMl^Se}ͱ=yiYo55= cӿdE%tܑݠNvi\\"|ڻ l9j2@:^wadc%r*:w + .A?vKC0I:9A@S[.kOwqȺ' ĸ;-Mf6.57z$; g~pR0ƢVUl4JF;Mp<<wnG GK5$ ;9?ؽiXLLu<XѱgYZ39a466b214e81bb1f8ceca722ea07dd90a56b89238c0e2920549e9749d6e446b2b50cc3ebc6f2bfb 8ddd6744a680850cdb382982b4e7e53d36e0f0fd c1aab8cc0b1f919474a1a1af5dc6d8bd244c5a162858a7d0857ac8ac64cd002046a1557886601768 # HOL-Nominal