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   v-Td ]S HOL-SPARK-Manual:threads=2elapsed=4.309cpu=6.992gc=0.184factor=1.627zXZִF! <<]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)ޓ9wb s lq,uJZYgXL6'<ڶq̨ ͘@r;M'T5u u,e[1Q qT&(wt=JRI 3Wrqogo vgYZ7zXZִF! ]ŗXiɟ1'HGu C),_Daq3=6_^^ϲ6:[Qۈh() nS=[wH5uFgU8k)R1z.XҪk嘬C{=vl^կ+e3mJ*s(7$p.?t4J9:/|= $Rf7sM.<*{ [(5rC5ÖKH&:}j)kb\N&:hs݌fY8K^ip&滖JSMc8y7Gݕ[̻3:9$hw5"I]V~rՁ"ByxW!3}dJ6M/IVZ♙qv]PH'"GUjz%%G潵g8܇*P4&lFë `KA%e.J L ߞP$aUF}Qѱghm"lx?46㕕ePHGj\y8pI(Ϻ"oG8&ScH/BcQa1!m'U˦%R)o[o;Q7*@7^*̋HajRNa phSAߵwõ#6ds  -V"S/HƛPuT,$._uK錂kOgYZ2cdb084d3e4fb9d543f65165cd743ced7bc7c0477a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 aba78d33bfc5a996ba90892c61ed35483540b5e3 349fcf1008cbc0c201c4a8be5a5ac3741b5eb5ed - HOL-SPARK-Manual