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  # d l ]]HOL-Nominal:threads=2elapsed=7.733cpu=13.748gc=0.744factor=1.787zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯~ӋO zs@N, 82dZP\6Og ՚ øH NSk/Ќ~>c$nS;R_\h,8dO*mב(]jNW'ncu J$iV\8..T>˅ $ VgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ q w0M8733mđ^]wyF%`I'{J}YZ7zXZִF! %X]ŗXi%96U:dZpW6E\{8-vMlF{JT~<aiEG{2 mR'}-W"`tЌCyY 2'ͭn+jtӂd s{X:ZQdyBTP{DAj^uZ~熾C]R h2N/H3QJ[:i%'VOz0wp8hh3_"SD#Z"@byɓ CVX<S8 )xl{e}(|OPaQ$P@/[5E1vvg'AOv҃o^S{̪za?U(L'P}8Q6Te875ViSXCٓ| rP#AGm$;yP̍=Nj#d[*2Nd? 3ʥ|}Āw(Sk@ 7kUi/ODy'ߗO ;g:=_\Pz8gBM-9kJoձgYZ510eed7cf3ec2aa423bc2cefe092ef9db3f81959e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 a63742c749fa990fbc72e4972a8e6e8298291f00e0a4e74ff2c5624b65e768ed7d86791046043455 # HOL-Nominal