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 1! lT| ]S Skip_Lists:threads=4elapsed=7.883cpu=28.404gc=0.428factor=3.607zXZִF! o]ŗXf[&Mn;ԲhHYg[XkϞ:$a&R=IE~1?9!, 32q)-jzڈkLJڑ_oF>4*+85Tt0Ilg#vm[4 S;LWXti"#2,HpCW{U_MdlP?IMeM!i`$ZQ@(4IHkeHl|)k!KKp S`ŕjbA`\dg2ag'&~7̞nCN&_¬2`dFg/UPbJwca[oŘs*'Y Ex`64Ȳ#Ĩԫ+%Pk-P[:PztBG>j4r_?FsZ8{fy-i<>?g+ExSI4bE,6JOI,5;zAoN,],hKIA}][-`@ %DKO/|&Vd-"C N}9(k;򾤙@$˯l+ GAwgYZ7zXZִF! {]ŗXiɟ^(Q8vRQ ףH*6DlYK14  ŕ`uCan¾?L~Fods6v ^޴Eq N+* ߧŗNUԷF܅%ggYZ7zXZִF! E7]ŗXi%L T`*Q_Tpa1eR_Աm<~f$V?@JКOaN5uNh#5%S+!/Vnp}LT$+. /I+lc2 }.$q<, /OAsČc2?OahfBgm9|BCC"}#`.v>TЉ(w3gy7dMӃS])D%||B+ )|%OfY6#z=k})i}G5hb 0XJEcNL !CrLրQY{ž1(,Md#s}\7BP(+Ý`si m^?٘ٲDy<|rWQ=|T /[_ڂ2jspFΦ`(WR*k/h{njWk}ӏoevƀ:$iϹ U2"L!kT3&gh Y/_s#;UXd]ր8ehن&8'=- W*I"\Oώ:,0O)uLn2Ct5?jv,GYo{j5J< A/ #(&)=qa؄ElÚKܘE-Tց[51@NJ=knI֝W2;c 'm./}AS#w\Udeytq6ҪMrn#p^ےfKAK bEERjKzmLnD`6).S\$X|;zyǑ|-`!%sQtoȋzʧWZU"106Ş-}-VՀF Q?@hC}@WTNQ Wr] l̈́ +戗_@c?zn{wwW~blP85L&ZsV )jTW vPj}>V ы!wgYZfdc4016f62bc56b9a938cf1409b325230b660a11d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 433903dbff4257bc95f2f1cec76ba11656382d65  ! Skip_Lists