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  e% |4 ]/ HOL-NanoJava:threads=2elapsed=5.680cpu=10.152gc=0.656factor=1.797zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sTEy+Ektmk<-qt QD ^{B[̥nhRk >%<%+0v i9 ;eh:@O^fm"`xDPQU@_TYTJܟ(M8u%NqX}7ԛ&{FQ"; f$gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]E+syrɖ5ar{+tvp3"3!FQ *؊M@@ǂ}ǿ4nd0rdOӵ]T50Fl )bW@sآrˏ`P#<ׁU TFXlPgkXT:i@KJ;m;oW=7#٧"ClrCW˩ZQh83&]JZi}d*51 @ƅx ZZ-sߏ?Lo\4*"T\z3Z哳S˺c5'=&Ԛ=C94Uo9 u"I|pޖ#ԐՈ[tPS0Y BM;8Җ*tDIQqղWu=p49[Azb\lF1gGb"DJw&lK@ yͫM0ȋ/|2ܱy(YTXͱgYZ2c5eae7b690f4f6123435a315100882765c5aebb4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 % HOL-NanoJava