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 %) 44 ] HOL-TLA-Memory:threads=2elapsed=11.317cpu=20.400gc=0.732factor=1.807zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE!Ś!| 9z|8pIАhHpkwC. (a mI  W't̶}z3CG+繭WI:Q 5fȾwL̡]Y%?&9xXT"a}Fg_xE4>VwdI .~P$$ NH晓/e^x]%\tċZ¢<"U16dQTaM3C ӿG4Z` 4)/J'(r~ɺ,($&O,NbUۥ(ĆPdӸ#Oehyن}AW W (5f2RJ!u%gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWyf#-EZ`21J_ƣ|yXƠ)aI:v6UL3FHgNj6yZy %=&e}9=;~\咛uٱ~SeIF'IμPT Tj^OGi/So{~PO3f :F{K?u3v39`DgYZ7zXZִF! 5]ŗXi%;tiDYh,mJu0|YcLihHM&J5.~nC$G\V2ԩ#zqXQ F\S̈5,`!bLx)ʢ_J]v~YE[ᙅX8=h-2^^]{ff`O$E'~T>>,rð:»Zkj)[z߽#,zE;XMgW2zM 3 @;PMMAPklK ?~z $vA;\&S`Ϥak\7a>DdMdK&ujV +'ݲA :,{;VXػo(P>G`S55HaғϬI$D xXdz{Cvv J8el`n/1*#/ӊ.r*EC[&:b=#7ZR~U@>4.Z"b$92%e7N9/XE} k;ghM<.2/p3/L~<^w *()?"3b>_kjgYZa5c98269cdfe3049e96a9753d8eba3f71e541a315854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 1f407bc0b488a85fc80cd9d62fcee75b07d82a1c ) HOL-TLA-Memory