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  ' 4 ]%]Sepref_Prereq:threads=8elapsed=33.005cpu=79.665gc=4.618factor=2.417zXZִF! 9]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAJtJUh-G&, }lԃH{nuIZ >T5[C~+9+a'"O% a .螞CA*ݑ ҧfq_iF@Pt௝%]R+1]D.ڗ @ xMPܦtU-b)z"Sc&MI'ɷh|}Ҳ ϴ&r&$y.g^=oyO]r.6%K0f ʥRⴤ1Z{V68[{m<))/ KG?ZBx7Ή#+ n[l%37HH:RSdrUI _1v;P1Y|F܊x6BtDD *l>X9J4i\(C"o{.5ر*[yZ%IR`i:@܃܋qհ iɋ씾!F?Bg m }2ѩzk1ϝD3jxo(K OM髖}gv|_d bZwi4NwQRץ|Σ3Tmc$[aƺ#uvl[k|'0 ޢ) xnEMU>. <ݭ^A6Kcdmf$cC:7:܍8{0%-Kݾ^Ş&\YIhgiIO:KXmq4ᨍKs ' Sepref_Prereq  t {^}:.1MVN̐l=~iR"yo]ΏVsV ~QeS8?,Š`TU'kI7 ȞBwF~Z6F Y jd) 3O` jP!Pd^LHZH*<$}]X3|ZN 7V UX ұ7PlIjfoIO,mS2[D-?WH,ȼn#/3Z  3ݡR,OmaIhg5H/u$U6h`[HZ5Ȳ媍^3\_x, QT/6p^k*"̮{qQ@h 3SkQ4C! Wg}"rYJmjxD1Uj4҅ʤGc2P-:I[3) M |\Fͨ)i+nlX3#@QB^@ͬMip8ok^dXS[㜩e|mGUH: uI P]13_ ts0N+l穬ШE?@<;2VNtmO-n$[P|9sKpuvQLt+ >>o%;m euoKS^YiFS!yHdXc84pCJRhP}Ę3nU~ّ/M]7t^@a\3GvB'iHU%u{w, 01r2ad'e J9:@"gYZ7zXZִF! ]ŗXi%>tw=</:Ơv5u vu&J߮ìuMTā &/S3< .g.EIk( bQp T|%toX#_'Iu) ϱ4<#C$X'݅{jRxa>$LB&!IzyZXh54#g&Wk:.b5ji?N;S7:-WmiF/bm񶊎@;}y3A ]yh>|G v3]])O# |e8A}Hӣ{Ml=WoDv'̩΋MǼaI3$$w=K*e&ĜX [:>:+hXNۙv=_9j8f8Du'mI?ldRXzh8T6؃(6Uۓ=\f5S)E5%W$}B+ %$dIٓJ 9FXQ f0wizfå#Z/%Ӛ,+ =\BD,t_f{ `^~(ېpgHVӜ@̪N)*:6*':sqh)]^}$d=(ZPZoslFsV/2f!K6B(B&/|w#=K>@fxnQ5Iy*ې}qrnӭGJݧ7|Y8pb*?vٙ 1KP9ƸqrHg$;[6@Wfb:q`U90VL)mCͩhռNY /r~۶,<"FnV9UFʷ=, X]p6 j]n.,S#KhQUu۾{z[U:M>X_izq)hmT%ӉC6Xo|Ld@}/>\@d\IVL^,\3Bwz$uOЉ! ?RKqOu܀S)shk95W#7M±&#niB!{eiYX5>:(eNVIkS,%`[%DaCs3`cly'h2J-`d,}cӫTp?u?,hsh$[zeI}:Ni&n]uXh*c[UAѓamSzGF