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  7|dD ] Binding_Syntax_Theory:threads=4elapsed=98.191cpu=301.976gc=10.240factor=3.087zXZִF! ]ŗXf[&]\<,&Β]6b< G Vdr< BR6м9ڥ0"c++e[9 kLçvѩDNjiD_NJ4o\`ǎ/:́YgLLOB 탢`buVo"!_ބ!wpMotIeE8^U@eZ9Qu#TA-''aJx%D͝>^~UVT4%I0).vJeKa5ٵ,$t-|G#6r1 z4SBjx%d7q#`B ȊqCe-k!@j̃8u_7Ʒ)f]/).[/NXwWp 7I[$@yM<@ߎ%%Wx * ^;r]X c T~ʁD :3"䈃Xex t:p$>f(L' 7 Binding_Syntax_Theory  )d kr@=!zxJ l ڴJf.vE"YI-+.pKi!?ix1ug#|/j|:߮!'IGӊi 9THE;>%\tG_*P*=vŒ5iIƾ$6TV<穥1fBmYvCzCmbcG0n0B a5, "HY xB3 Tr>gC B)1@WsqA*TV)( R rxJN!6T|~L7KpW5SqѸ.Kh/$7$0dա#ͲX dxjh/o ^0ONf'L ǚ2iqovuD+1-e+ JgG}91hr1~&E-@C}Ss9˾>v]A(w Aeh"UU\g>4>p sw +̙ule`f]$pP+K)DrUMھb]Qu3B}M1$%eoJDOOm ,{}ә)ߍX\C[6D|#(^p&vIڬ1/Lةv 8cOx?7} d.\0|kԌy4='#7QRǐ5E{aJ ohQ?jT+׺LǗZRJ7{10)X}HRm0*SHbgj4ۇtNGGFdA{ Wey*"}w^olb$ !5 JPYD!1PWTOgYZ7zXZִF! Pj]ŗXiɟſs*D$=o~Oo=Yn+<Ȥ5b(<@ f4~ U֫_$/ CEc6ya4{]F.wsRֆDEmK\ WF5.^K,pv8N+qAn00E%TՉIEP g1v믦79 $UxtdKbk8kqMr HDxOHoV۴a ~B?]V!0wTl }ӹ㸣ze|Z|SE4Say;2ƥU<ᗶ*dϕ;Z7⓾})p`-*o z<CۃA-!q @]l;lgg*7=KR;L,SI?r 5sDrpjg(Gs=۩JF 6wӲ׆n~>3{ݦhh@?G#z[^,|[ct&,%P6wKfJ+JE5~ RPk{v'49Mu(ҏ(Εb=댯VTibCq<:!F/ծ0RYK@7g&zRD_!Z0(׻*UePrgº*!p &S t3}pʣϡi5$)sQ=c{` $ Nۤ J|LhlS]3#^ tC&y +#KhY^MBYƙ`.A@Q㠧s(ʫي9(X`;sAF`[`IQInHJz< u|l{Ѹ2$bicYanXef9T̽h%̿ZvZa-oyi_$ڜ ~vǾWLN1ڢ3΂LJ!\I̟0Z |VBu 1S{x$uOX^kMr ܼ&l"$L59b;`*cW`"YZgKGBwQL-fA{)w) ֎vhw* zȷ"S5VR,R~`Xʩzs-aOt\pտv,WF%О*:9j0'p6}|o ڥ)xugwI oKy_;^ϭAQcR`8J-Pl2 Xs X '{WL4 X\#{d`Ӫ0\kLNm;bhG{gX5\gÿ́ %ƖZnY2|,0@`yS\$9n p7/SޤT#ag_n&f漙kxQO逖 ,Cq{KZ<,Fek dЖ4^5`@e^CޅAԁ )afKaV&oL\ěӠFCb?;ߺpPt]SȾ/B/[#וTopW z&}X+)pvuV95S+Q9W6||[-#Irf=6P/($b"h%;7S7SPT?{敵m\PZM~.~:蝹gVlv \K0@ ?aCشcEKۥ>ҹWJ fmkiO9bvQU,Mmy]7l.V<2g*A[ͩEZy{QʇasYcׅn3=桿EG*.Lv7#:G(ش: ʙʦHl W@ī[nE6Airx4l]i2oRX4qVuþ4aՉ^H8%^l"]?nPlyŅXdY`֊'k$um%+fnƦPнe\B }Vz=6| ~iV.5ܽNmaB&B@ )Cab;5S2;OGx8O^6h%W"Q6VB4I9)%wtzTlZk"k.h>Qԋ<UF7Hzҩ>:kJocvAhk1_xA-)Zʴ,~b+kwPAg!E%K^,5eH .2hZDhB-פ) ?1z#pAg\xwsW fPt`neWEㆧ^[?YT$ 666Jumv<'sf?- t.6aOŇ߾GaY^(yaP#{]*ÏJ :4O.\&3x͑~iM<] 'Ql)әË)F*}%Hsc"fK!A[d1j1p?q"Aawtf[>KcK) eyT[3sa;S-/ *Zt:X+>&_ImijNxVM =~5(^KϬ@ t]PM~Dx\q7K_NޣgEG0.By";7~R뷄{(pF@3oeAz% \}9BrD%t1u!"9' mG'N^M¢mamH`FUcLGp7%y޸b^ _E}ρ <`=Y ~׾.a;-'tYPG3e $ϨQ1Z:1$`@~uڨR(ݲ#)~s8ځ/̉3+egF;i2 B W9+Ϩ>"+.?x_I\ a5Y?g.:?hrR y:jl~@e"oT 6>p+z*5ӂ 깎vCSs^bdGҥt肹?s@w1VF-x_FҫyZWKT_(dP '+Zֻ؈ø8X {rƍxjeڔ@%vNcSπUօ)oE{SU&.pn}K C^N$оor%N 63rP(8M+qc?u2ckH;]q `{X0ohgh:#ߦN8sZFsꦪm8hzuu1ѵyj)L?yMg䣆۱.A#ZU'Ʉa݆ՊozMXb껶$:ω{/>B|n~P%SC$V*Xԭ1@Lrt kPDmD/}4Ey=:lmRR?( yUjESqnJg\1.gTlҷ!uưpga䨐lCWQΎ<:&n`'B?HD9F7}|.|؋V < v* s!*(M OʽG2R_/<^p?"=VuDhq-Wx wܣg#ܯSBW6=K(Z^IYA.Ι .MJY[#O30կn0TK B5R dc&\#JDjFa`8s"8"JܑMD;Tb]vu NGk{qw+>蝟Z ! 岚'378t c'NQUY0odvGia.`JLo3ic!#iP0ц a,5u] mȉjhEPAD:Np΍iq棻ǴzYʠ/)|:9A FIOtQY!ncE560=Kzk½pT: Ԟ/ɠ`~mS?,ѵs$0tv7˟\@}j6xZը^d.k/m@fLD@(Մ,5&zHKQ%,9 ǂ;3̨¨}=aKmS5_ l9D񎯓l[3r؅J͖a ɷOP D1/ÊӜS%Rs,rYZ\x ~([O9@uxN 1e#<sC }9C`itśl(:Y`ζ\Ҏ&(TG Fj x֞G>=/VsIO΢0jwHYJ1*8n'"ܯ[/E_*08ۢEiAo7'b͢μ oƚf3X$}(drIQ_1F ߱WNTZ97j4(ݧ*i/59oq9QykZ˷Gf@GbsucC/LX1RtAy}Q~[4&%NW[yZ6@8U QfX!di:l%N̎؄0 !h13堿.+Wуq4CKB*cW:(43_y|Gyx . QhZ12#=('"sq#?u33Ow@?p4282*BqQa&ӕG'weJ`Uӫ[.*U1q0x:GMBѨ!c73䂔V*,4"$MVVrd+(InUh+[ETq t anBW;*z0n l@ shZW#o }M >J^z0نNrGVٟ" w΀!k0<})2YeᙓIp~"B%_M@ ap1rX5h_a_Ɍ؍#=o#0.u@ 3uKsN&6}{wHeL ֫$$)/xx7oز˲v'<^貀/YBXɵ@B$c.}o>DǟE,wsfeSoBf$ǮTn ~obYP{FOQ}- Kߝb-8g~=-w'6}rq^/dh;YH')LbBA+@|kNur6ca^~y4"iIQ3{O!!aXjRBt+zLk-m =3oa+a}32F͏ ̓/lݯpxY{UjmBhE61u$s OMўVnGk6ܑc\8N+zD{5)sy[/m1!ʰ`3пuQz[y;[;= ^(;#e)PRc\n/`6K3Ӈ: @(5tyo9g֏ rdG /2Lԧ<,?4P BY.&4B8,}C.ٳ?ͬmfz$- !3¦NIS2r0\DM<EnbeY{.KaJ?.Xb2EnjL:Ukzs[y|8*7,<bCo3{p'4G&$hy|8гPZ$ [`%4_]+R޼eZؤ ^sM:ˋ<|~>]Dz-AvV*+aU&NN~aci:&wLn;\ͲsJtHzu ojىjAQ$m TQW;rk(5P<Es;C !.2<VgMh^)䛽cA}.JVYmkv& sApGD/tKoJC|