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  _5pd$< ]/ Free-Boolean-Algebra:threads=4elapsed=0.843cpu=1.704gc=0.0007zXZִF! ޾k]ŗXiɟH)0%o||+oWQ0DX>vw}|p?^'cs6S⸎(c;^_#-H MϞL}h|ј[tBsp( B#W=]Pއ"2kQYy$hY۵ܽ0][ 9|߶SyVGpT,őSR!^SﴔgN.EמjE~+z4$Meqr_”\Ju)J>C/rRřs$ zA4T|Z0ExZF! 5 Free-Boolean-Algebra  jԥ1f;[0$. JJfi 92+.]p$B~ tžCÙkzy*0CydѴU.[\.fK yqe)ocĂ)+IQDH ҝu/ @"uwz>/dЫGkPi"ii,;?(׈3ufa6S"7Ɏ~ #}\#j :I9#W_ʫtC ބH[frm<#b'ImVLD|:0nud9\B]u$VZEsSFy$[l>D>Mxɥkגpz˺3G*:G1a:jl~~"ݺN|/|$p)eۚp6D}SQVҮg%x:p^1|9[[$<uK]_cYipԗt𪃚}.f3T{aq9! ˗x;n htQ' 4%Mm0eAz~rҞ7W[&y=p K~t5\$ꧤ> =s15S@` F%"ωcntA}j`pڜ7us͓r]'vG3ZSrD_kرyh,箨RFq_8h`'T"\F.t+9vO)ƚ  _5#z !x5XQ~S!BikyKĜʃ4gH[Jպaҡ*#W4X6xH2}q8I~ٸNNޜA..@dR ]$-Dw毗㜊dzf'HYLZ:7w\+c9Akqz#='( :BTm?zD| ҧ1JCG۰*$kdki[s \!P52uT?í?@:/k_#0;Q1DW"a*[C!U7 )˻j 舐vӢ0?;].*d<N0$}#*\ }a(dӶg:ymXlq v;bmVj6P%p܀#!=@?N`=$De _* H# j۟Ujű&Јf&^mU8YzfLWx8ImJH(6:0A6VNcF҃z-  S{-hfk<( U)%۝q`4,V( j"9/E{(q*hpiS\4q'Tq4q9cK pCڒIӽ%g5D҅Gp[u;^6j]\|`Jt_G>btl9z K3Pƻn$wR|@f϶yY}t@;YO g3U̝nudAoJ,R ;^pUv(4ohɊ_6!VM+ Xhz?3 $֋ʳ7Jڥ; x4niѪNwC K5w݌>x#ȸF8ғ8E![L.@T} 7Sr59ɔxTް5)PJ>x5n`j` oGϜb g['Wa}WPԢ?`fCKrmqO; \=0Brâ gZkMe.wq "(*2D‰ef 4yα@Wxҽmy ͖K* &-Ha3釤36!3HVH]Wo %ԗټpM4I99U.Zմ~#l5Z>Qݨ,îU0IWpZ4z[FDu_Z!: |& P!Z>hM# T &H#]NyZuI ™< Rp-i_jꌔQUc&`W_j 7 *+YgVx *U1 CJV@@gޘΩ8~ [[o۲LDylD_t"EDQ$Ä] S|F`́) AJDȻIGŋjviB?9Xܧx`ۘ,.SS,0_G?u=] r滫>lWK]Df ~dC' =aAm1@풡OẉfeRA[-D_f[Egr;ǘo@'F+x|AQnhLaƉ\+XB~;^3oDT+cTo-!+2ƭ;7]2Pf\0az;? :Tn9֣ud0@s[^3dJ9<^| e[ވJtF*~Ma͞ꁱgYZ7zXZִF! ]N]ŗXiɟ%38ևXu`?-QRf_SZ\i/fo VEL؞g`9BQɥNӭBw*zdw1Вa|Oc+[V%zCElˀEpYHflyKoY_xu>t۸ZT^%h_ 8b (k! yAň8X6č":E k2<}׌ P6Xz}yk(E zs>0{%sL.n+:M%T;ouBǍi`KK-W1f)O c.<%#egYZ95233f186be41f947753b8d28c30a7a62765b46f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535