SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 !% |4 ]/ HOL-NanoJava:threads=4elapsed=5.079cpu=10.468gc=0.356factor=2.067zXZִF! %]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sTMM+*.Brl´⶛ t.)-!McKՋ[ kqCd$~3/ե&L@m@"wXPVw 瓺A4YOٙlA vQH$3z4=Tno8^lhK/l#{L>^>+Fj-̍KwX\Mh–|+a!r`n@. &s">2?0'Ax=ΩFf`i]?ftfO =uF Z4vSTI{gW{cmMk1 .)}D/D]؄@S{2/A msJ3Ǽ_U5L~6eb >n{Oo.=W+ UD>1d_lxuzS3;ej(x&X&׊@k5msZ8='rT"y9<'@'W^r9 'M$6GQ!ěXk ~K%!x`)1G$7WPBj*(6J)/Բ\υń˕,hj i'L^=y;GAvGǰY׆59LEkٍ/W՞iQzw4gwL%27Uf+1+[(jv|wE;"DF >6oS2}-%$(0?ѱ5z69dΐՈU7L@R]gYZ18323198f6bcb396a13187d1a974e11b1398085f5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 % HOL-NanoJava