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  0 0M# d  ]]HOL-Nominal:threads=2elapsed=6.489cpu=11.612gc=0.568factor=1.797zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯z#L/l|N+]L & gy )i lN~3\̙xᡇOFR;|:4OTSPmFRTҙn42r |:F-h::XDq7$'N7^ ʦDgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ آq䴉{P5I}Hvt`%y9]`I'{J}YZ7zXZִF! Z]ŗXi%;c‹u'B;o|;m2F< 70B y@߂ҦrC/4wl=#_ꑽ'D˙U$!=|yRaMW$gߺ#6,54).2H^]O OZr6&dIr ^ݞC) mU=s9Hʔ#1,­|+uy9U"#ʍY!_ 5NK{؃g@R=Խ7t,ߝ)') _iZ2w̑1$1HX -XCsCvgxq}԰U>dCO? 1Xozjz|6́vl {MrwpϿXD-7 n}Dtm$t\q.x"!q'Op5 >쀪x]:Ä rl_l\[IU,[mtGxFѩQ8T3shU7Ý@b8lp aWO%(ȋ" VG9-L;4(EC mV<.zL`MUI=Fմ:u{? j K_&e|=+kgWҢN`u/8b \?zY<VUرgYZbeb7406903538084f431db6c88bad5304cecbb8c047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16bf6f7f22502dc25873d91891e982ad0a8e86f4ed # HOL-Nominal