SQLite format 3@ .0:  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 W7 4D ]/ Weight_Balanced_Trees:threads=4elapsed=17.188cpu=42.540gc=1.892factor=2.487zXZִF! m]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($]̿ .N!]ބ0-N)Iݴ>DpS2__iXCD^&2:Ci M[)):aPV1Pep]B0rZbp24czd.{s{Y [FS_vLZ29Zzb;[ !}vl*(wɔ|j[HE-6t>Րnk=ؾŻE:0EѺZ |KƱJD<#[mI4t„40Yu4[YZ;=}qvǴYyŖX$00Չw~gRw".yjgדּA0vCAVֻ@}#T@d]koUE >/=nJʻ~==gx *8tΉu!!̻e0 Kޏ `CCt%+l'JH6P h!ZW~o;ƚ(9}vz(p'jE6+A Y_STڼMfv|${@DB YIH}0{Q\`&]#0~i`ef.bv|GVUDEzqO '3׉/gڵ_S}@(9)gYZ7zXZִF! >]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻yR3N8bTamT񣈰-*@nͳ^M맳R}E!V` "/.Rڬ\TymVwRWKh4y`JcLw\nAzjbk2?IJ=8̥8ho~rjrӦӕuUy)'N34Xtb NQ (!W}2@[*;zgYZ7zXZִF! u ]ŗXi%G̉Sl+e121dkT Y>AJлwsֺL/~=‘ρҫg:L: Br!T@՛,bIfH>3,GuWOQpa,Ѱ;@>W(Aw.7I7mx7}5HN$Zkj6A9ԳPoh 2'iv'XLHZeVP}tIir'GM|YYz{g5`*USJZ06mPx0Q_7,t-n[a&2By"4o.N]–Dr~n [@QR|׷xRV{BNY=bd80`wL5@ ;;`qDEudAW} glA.LkӋğܚX:5akB#MjA[:`8Y5~v1VAn@}bcX7CI_ÁD`1ָHg?fuۃ >K4!EƆ|6Y1*d Nw`vb]8sAϳm7ܠj A_P4 1<èDýX2kB0Aׁ׭MژPc%TMāL&/)"yC0|ZY꒠uI:Y{}xŊV )QoGtϡ?{G>A\k-Gt$`fNoXh92mZQe*mNFZsVs ,)S,,:d apvz??RԚ#`FS< K ame׈9Bf9>UQؔJ)EXpn~=>D wٟ(ATAP[x^΅tN n.f+ƥǸI.!3`-4!#y 2/NipȈR~d=KV@m'1 sCh (OMF;ݢ49Ȗ's 0HAo60D/l{_pyAR\>g'~2~%ׅWwtG?0ylea&q_#z#L%vHјN",\D]Ð<=;e*ǟA "`ϥ(`:#0k5KBF,,*1ua((Bqme!y }P2XS!K޾=bgfi/B/j>r;6I%&gIhr-C~?A9ӗԜbx6&P/Hyqtm-U+RN$-n@|D\Oi~؍c`3dPv~#/>>so88El02߻ʦ;JJ]yT fOSz[_6փ*5P' c@_IF7|,lA ho4ĖcHn4_$Υ^-ElPGR#~ll\(_ K*|L^*~z-N_Z45a3?fO̻g?pql[ (oI&7ZUYjH`~;*$Г8;N:teR/+Td3Xjzř@: ʽnY<̝d껱gYZ35f54abb3b1dcc90d767824fe3fe58547ac256be78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 7 Weight_Balanced_Trees