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  }# t T ]]HOL-Nominal:threads=2elapsed=7.831cpu=13.912gc=0.776factor=1.787zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯`ơhoM19Ujedo JJ2@oԽ,g&Wy58 fu ~`+bV͢wnI[rG!|Crgù qNҜ$*~"o`/Z9,3.R[Bƥ#5kjK\WCmurc4, 5v٪$'I!9*ꦅ4\O^a!b ]y$z90y+$4p%!M9P?F|; 8O7h`FvEAD [m_$c,*}˝G~-Yuyќ240fAj0ZGѮyUAb,f:.p KdR.a`0o9#|'zT`_UרyQ?"Xaتt;3JV!M6B^&hTOz& LBwPxXj|FsJi0`s鵠e&͍ߟ뾢zQz!Y%D֫23+8*n$s?Jo["dBaB(>H.D:NH.KqaP)pJ`=-l9j]VXD.y5V)qkšXonₒCu>=u}TXA—pnSC)JD[ !Dd"gY߂WfHz$JNdAfgYZ510eed7cf3ec2aa423bc2cefe092ef9db3f8195931bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29f247a9c99ff62e525164ff33fd4353dd2fce511a # HOL-Nominal