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  7# , ]]HOL-Nominal:threads=6elapsed=5.493cpu=12.232gc=0.528factor=2.237zXZִF! *]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮeYR~g ]rf 6/eDm1`W\L@Ç[S]J<8 Ub6,-E/Yj݅NȂs-<ڣA?j|v dVPo9Sn:42?`[rCjQ!׏/_]^8'}Z) F&C1U>R!Uls5`{Ghs0q}]d1s:}WK+e+CĈha%Lx+54u$4?Rٳs08:N~*LP=`Q5Nȫ,Zs= 5HY=Ԋ8q'(ĥi G&zn|RoQ"08SgYZf1cc9013f62f5d46637ed33a38ff59521fc5b656b32ac976cdb9d7611cecd21164b5d37d166a70f2 7833fe06054d8c848d36bd9abf4e4e615831aef4 2028385119fafb7bac5001679cf939790c300aad837f2529a85fe153189c16767bda7a81c943d4bf # HOL-Nominal