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  L L1% <|$ ]/ HOL-NanoJava:threads=2elapsed=6.347cpu=10.856gc=0.588factor=1.717zXZִF! =]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sVDp6u(`lp&Rp<[w7— m`5'&H$Z+YE7jSx9IΘ4Z::>"ԄK1 PrOFqB9T$ܲ'Ӊ$*ͣa~}o䀚x[9I}w5':~ܽ!$ȐP 'P@!$M@ L.m&:BlNP *z~AHȉSKqLC5߿lgg7oMY?D k WS6(C CKC,8Y*e(3}y =>eȏu߶X J m`osHJL7Q*僇G%%Sn'dq1mFIx˻er4=ɔ"u崘rgs,j]bBtPL4 '` ^*U>}5֮ZnDi J6<&s‡敔V´3:*8Q`vipD$?Ե`Z2[% ÕqtLUbf_@؃m{#M^+"rD@TGSמEyd8F h& f zzڼTI|Wjo|xGsƐGH@ʎ"Z(+CцL :28 Wf17fFKF0DK0‚F]$b$c1#AjUNI-JIRs;v_ܘ^z+=NPyF*~45: .GΖ>"_l+/uwHOs( -?\ -r ~j#q1"g]݈4mN0~=l>,.!p@fx_i9]A6YdqSIr]'Ԁb(E m2 5Hu* ^XwDlKs&+wkܪ7dRbW`5d;f=BQ8Q%Vjd/s"ӥ /u`L[@pdqgYZ13b8c9abbc793d48cb2594807a270dac67715de019126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 % HOL-NanoJava