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? T ] Program-Conflict-Analysis:threads=2elapsed=28.272cpu=52.876gc=2.300factor=1.877zXZִF! uD]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU PcaCOիӜj:Z,Y5+s.w==˶;XpPc!kSv]y0m ]->2y+lrDQ 7}S1|GW2-J&{僙(5\ AP? Q)X/܁ڜ3cj4GC4uisZ ,}R|4:-n=a"WW!R7y,G`2MX1\tB+oGioSiEVDAoA=+,r*&:W/N v9ӒزN Tu#΃5׸07 *Uqh*c?>CAgI)5qVa[~>٨+G\{oŲIo1QNvk#eQd!ʰs'OW`? `0 k24ΆbPNԄv߷OfeɞO}8|gf~)fBϘtw\#lbnzf~:kZ;F[yCg]F+bFdAe}F~[ cgζqmN!UHO`aݹCowVNzܡXq  J- {A&{d4<po-ԱgYZ7zXZִF! $]ŗXiɟ˕A;[] VmTi{RM9%LT4){C:9J, 3jJ:Tc4~+H-.Zl( b['u("Ȥ<(y.H$7~CAdu*EgX7R 4UcI'Rl=(Hm}p]:e Gin q}A2TK,qoqK|/]#oɘP2@јؘv&AkgYZ7zXZִF! h]ŗXi%>g u wr-&fx3"nyo'lWjyÜ ڡ^8xrk^YЯ u7 Y" }4RAύ`ǑYR1V/5C>TQav< Rw-jvX`%|i'a`/?;_@ӚEDzipj |βs{"Ep17n^i7%7#HA_YH"#ǧKg[t|~Jؽsr5H)D38s]OŤKv?C{˥(?E&'ihp{̻Y\V%{E|sgcˠJf/#u)A&q1 D.-zįY}'P,uKOfV%" ` Oe1aQ S;oۧLէu0vd',4w0w[CF‹z9[yvVFT3HzbkUI`@&'C¡EsGDc$ͨ{(ID-dg23+6no"A: F w k@x2[`v:ɑWd5Ej?F>c2d,e8°A5vn FZBtҲQ?q R:uw.)Rʰ+Z0:Nt{l)qYf'wJPe-Ũsw?G)KiύfyfOʘ=lKIڒ%b@YI7JG)޵ڂ!띍KssX߾{ Z['! Ouj4^wN $IE;p A.ϼl~"S 󦇺^}3 PmT4 U xa_54Drt{j@V*,ˠ٫HA΢3{f 'E: sUUP tvFI+lZLoDs^A#GABض:JHg:+Zhp=Ní4TWN 1 6GVv; fdS^<U $0AQ`0%dm,6s(|K^%cM܍kMtiCK𱳷rqn}7NhfgĦu#D!}\udMhzdoPNk~q"n k.>i2uv?>&b+^/O",;.6>xRڶOЗn0%R*VA_wMn:/T_9~ד2O6DyTY461v +P8\?|4 ^um!X|I<ًq}GkAK.Q v3!2t ƛ'8øTF g;I:}O zu%v 4rm 5 -}zea.s אlұf8E;oo1pxb0o;9E=q$a5G}tYjab"Ԙ@&Ө Z2a $)#޴u:NMuaӖ%&!^*Q/JRT˗v) PwNxɒc1qW=촾'Ki Ar;BnUq9xC9ŝ_&WnK)rn(좃6,@Lwc"*?Vͅu~8\n3%_~'Wy oҵ0:ݐ#)rإ[t"}03: l?gn{Pޡ-Okチ& },ѨLΫȓp;z JMzlKrw*ƒ(#)_,zE [:7%H-6:ZA I1ֺ?i'