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  i% |4 ]/ HOL-NanoJava:threads=2elapsed=5.599cpu=10.108gc=0.612factor=1.817zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/s}3L^< :PiNOȥyڑ=M`>C&y@iT@3dΪvQжx]lV3ߢ/I< AЈ(I4#DhU]'KR '%e2K#a-rK d" #qem!+'%_ l;;A T#gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]E}0:d̽ᛸv-qHyӥHBVmRGclt ]ӻAO&0HO)p=谨1J?뜠+pîFzLcj[rCƅ/8jO#]PT866gYZ7zXZִF! ']ŗXi%;tSvRMN\?E~kL'<Ś72K8 ^wٰ_1|VB%?7ZIorZ{"3Rug<`~]2HSQk( `W86vcC/;%U5/=ެ]C\*M ԥ pP& 4)y@Xy] i}k.#TBCQ3Z0@R;8Uh$c@ 0jxPxWbJѷp xg; ]Įsuq೔+7D[s1>y~ یP]G-x8;r5dyV&s>"|!E{2>=^n"}L~my't8; Lk9ߥNї v{wNuuG6%8#K{ aխԔ0Č@& y-G>odJP`XЃoXO4gYZ7aeff40a3653c1de3a8831ab650a726a5037a17d5854d6758689c83aab18dd02aba520db4dc6bf79 c08feb1745cb050bd06411837cf1536009c8c293 % HOL-NanoJava