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]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY@qTq& &@_>hSaQ`Pww@qļ3&7LbL5?VisS7В~dK&x[qD4>GK/ !0 9>*G| ASH6^_goKX۹-:oZ 9s]īNj'Cq|s]A͜G4ُowNqUV mDMb%|錃<ˡe;G~`P ? HOL-Computational_Algebra  vZ.:eCqEm1qJ{]@cP:(nZh˦vV~Kr+s28"|G ps &ŵ ЗlNJЯ9NG\)gwY\7Ġ{YkKf(v~6c|mRfWA {+swH:AkV*Ӄ*e*z 5-MsJ!lc!F8ĸ*mbOC,ӆOSOFjˌ-6 w}1ډO T௘ \U}WqCBq]RE#4'@d󖮯w%<.;䮺@]Jsj&3Í-x A {9{|e,8˿z_ATw-5UmSB:> e>\.ݵ94,'9bU>\X̩@LbǩHLrAΓ),hAS! n//gYZ7zXZִF! ]ŗXiɟ1CW"#pB3X8-:2>.b,z 6Ekq| qr 7@7U΁CSFP~ PTӊ.`n +Byd>`F~+EDNԥQ0Gٝjg) v (/fY:2c]m7@{3 ~/7e\h hvTڈS 1+ TzBJ4_wErҒZN aX&Xڰ~FB*ez G|5$BW&תLVI V&/HFУOu` ]fV#aRWTb[QϺa(6ME9o&R%3E0WB%C& ,Zȧv؆Tw+'FoV򃅙 ț W}!1d1pd$ ;mn O7WG&ǖ oS A {0Ve F!K % K`Ü> u򓊈ZW{rB5MqP Gg:#" {m ϕ)0a?}Rlz Sߒ=QېoŴ8;B;//↨( r'<>4y݄vz2V'Cs෰I?^+kH [x`'xw=QFѳh p;MgXrSLH4JQ<415x^Jo3!~_@TXhS*^se۽{_ %S5齓׆L{rZ (ͅV|D]_W+8xq;RwXNȋ~_5F,HUHOpmxF=,uo`x6HEtV5;,nJB^>֧#OeH$M z"W͂\ޓ?+Hҳڼ@DĈj_kAZkW 3OM#'k;.?&U$hz)i4t斃Pp8oJ) ^Q-igM;BN6܋oޙx:ֲ h#OiKKG7߶ sWxsoFh lXiIj#.z$3r䓠SM$14o$rM )}Lo`UmI/MʻqʛXx>%A|pū;V +]x3-׃wo;"f}Vzk#KT~M-?z5}l#]%;M MՁwT)ҡhsp.`$?}m)Q31EHƟ%2|!tg 蓽KB9 &-&q; F;ȬRqgBeҌp@qs0Iő3X D?둔hoJ:WP]l?Z%WDUQn܊/o;̪9 hbvM)蠬Fl~Ud=4 /Q,$Sېs~ߴBPtVԋ1_9DU['OjDhS {Ϧ[^1znAAID?|c݂+!Qi<-ru^a\=cQoT>f#~sKq#5)g? <R Q%#NzI@ػ ^I Im \GJmXW$qaCiAٚY<'9]q.\̢b2>D~˒A\91ZK6("e(%ZO{DwǧL|Ҁ kj n?k[XO"s]6&\a3$9}p>%PL@ 4 Jm7EڤʣCrZ+% BzIckk'ETh`#g10.@;K tĕU~oY%h=V_ =2 g3JV*G8-؎%TGҥB7Pci%e#C3sXm'%C6V0+Ao8)DrD[ps;P| GkMXt=X5$x>@EixSDq5jgϦr=0Id7zygYZf2ea3d82895bd585cdf6bed72392b14667279fe4632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf ca6f8106185d335e0987e63132ec96cba44ad44f 999dc9fb1a79bc2556ab1fa66a674af162d487f96690aad47960acfb244f115dfa7715784c8a62c6