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  ( (U# d  ]]HOL-Nominal:threads=6elapsed=6.241cpu=13.020gc=0.672factor=2.097zXZִF! &]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ4NE^7qw{m@n@en:iCCE^) QR 0J,"6\C38MnffZ\Y/Hy,%΃!LQ=cT<,)'Jt:j"-}IQXG򍨾Vɲ9%oxE`  ggYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ kH(@~A*J dŒ?a@gé,`I'{J}YZ7zXZִF! x]ŗXi%9#]( qV@ .ܠ2b_$ԼmE_eEȢ<vgaGeIc?T+Ne>yd){1ϫ*&L7ǾQ*9q|?عC_XǶ;jz?uLR9fޝZbx>tBҢu d!yzIRuuV کд9[߷oSBwUM\XJˍ9|H!O^:#߯4Q_"I<*i D݃i>~:14F(<+cgYZ490da02aa804d6405fffc71631415a3f74932fa13edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f 9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3 91c1c9e9edab459ce62d0aceae1283cc3c035f105a679f0531376239e4fa79e547e3c6f50c94f181 # HOL-Nominal