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   m# L \ ]]HOL-Nominal:threads=2elapsed=7.230cpu=12.928gc=0.624factor=1.797zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯y郠FJ` bjV,6d66MQ0-x˦W4Fq tA#Q#cg ]7(6zcuCߖ˂S,OMh^-ɻ@''J5"QV/[<7cד 旕Ax>Am"< }4/te By8VY+3)^ R"`b@f*3u9jCf8]βO&szYc05xg8'M*F%I]`{H_>[Ze3ĕCKTt5.ʎwqpsjT˦!p-]_ ğ|.|x +0L)58=hsUHv9r@(,Vdznԉx(z(4I#eciq-m9QKoq΋F@gzppC$7 &bN='}*5!7E4%Q8 A)!9BqIMOwfvNQΈo$]~ QT˛ӝg>e`%F~[e,Y%TZXCReʹ.s>kEt9gYZ23be8274ca4bfd51fbdd9885e997ff53ca16134cd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac033eec7b54a0b89cd5a02313229a8e54660b76182e # HOL-Nominal