SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  t t % |t ]/ HOL-NanoJava:threads=2elapsed=5.774cpu=10.128gc=0.536factor=1.757zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sTHiW2v`c!it1zIע$ސ1 <.K;XSǧ|;4}/ԽW&NNWl3(PN^wSkK C|7i 䕜N k.6`j7n5l}/ms$}WB`v =ww`Z!X+Dw=< T#gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]Esy^n]c7!Ӫ@` O/. i c='#B3Q]:&c,߈֖# %X$ Vj[mTGLXyԝPA=ĸ}۰{DTC6gYZ7zXZִF! +(1]ŗXi%;%:q +}M"nAg݅W{VkכKoI9'"S97r%eG%amHqoQ0֍TKڼ5^(t>50ǽ`^q.Wjbճw9 Fۆ+HUV=kŊyly9H֗&^GD׃]B|Tu/Xq v@#}۬rv *p8l2/SBe3Q &Qh! ^ŏ"b9&w5s5P21-##a}"e&S~FX8>x4~XY῕s bG$]V>) } m]oaJZjZ+r֩ .P<8&(xZέoܡgֹHK8gy?ia&cf *L3"h)xzCQC<5 JKFMBl5&U I}CVqe E&sh2}z]w8i)`ѭvjZBDG-h_-G!{kר3!}^-Q='m){͋W,TkC[|= u6PlD3Ic`FQceIJ)h:vޅ.+Ѷ8 ^2K">- L'x$\ sA]e1f>bGyH7.z@ԌijK[1zrzK*Wjc^Sb+sGQV(1gYZ13b8c9abbc793d48cb2594807a270dac67715de0c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 % HOL-NanoJava