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  / /B!$~eNZ#6vwB'o Ӑԏq,ij0n%oi^ur arAv!\bLUNuQYԧZ-@jM7>Ļ{w GwJd ϋ@Yob OOk+5yFO_;nMNmσ>+90=pfڛS@(]__P )DK 9[uĉ#]i*1[Ao^MԾ>Z1=Nb<qPf9- EY?u&Qk! (Pۯkg&'z \:%/&"jn}|ճDIl3:g"Z -`t,W{(&Q|lvrS[ӏ3gݞ)(ݡH_̽6&s71/ SֹK"iK<L>pH[ 1!L4Z=_>w1',3_yAu@vD%#Tx}x,zxY%gdxoڵ6d},6>phC>w0ߠ6qvqޒ 6;ϱıh̠!$֒96zeZvޟ#f9A0T~^k\_{HT O  ! Akra_Bazzi  [2vG#6|`C[tLI3J(pAѼ\Q@b܌ |]5]./W4K+ּe1_GIj؍n8XdkIoL׌1ITf*2,=Q+G c':C@Aw:%m;GΈ QWƓ7(N GQߏ[cm m"^O1IPGi^Z+??e %z>ŷ\ y- &e`^B{'Bڼ!f~~np{d#0ξ | \ =w'r[Yb]_:8Tۺ-R,6/b(,kWWZ)I;K}vZ^03W]֐ބRk̗9 aJЪ{賟;F8ڛMt\@I=w.<KlКo9Rx.!G\\RlK[lh BQG6`Ht.Rf96. ~3WyckG"_y#5(a #̀~ՋS|Э\D^pGC ISfzy\U|~ jQ9h'>,3}+.\ Dݵnt<_%lp!EUp6w7]ШNlChQs=_õ"Ji9zN6U w Q堓zo eϿ_gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5RJ9\ R1"UBOTkv]#V{Urhefx-xY Lᢚc3<\CJx P1K3^yo!cYgZ>>^Gf3/?+A]jc_t~됉 pԽ!Kt}>A$ l͋Ty2mx'm)~M м ,wʪw …#qdȷ5!. z"n[UѰ&O6㥢?u7=x`KnI(V7utĹsk7Dpe  fL>梒ó ĝ >Iv+(BH">^o 4iCsdFO淟L]C=g@o+?mq4LNMN+@HDgYZ7zXZִF! i]ŗXi%>g>wz51`O10W8jaAձ&O92:͏3 s?R_RG-4w/qϦH@SHr)D5D%n 2 ޜk+'y 'd{3iܞ~䷘;j~(k@q&k"D-a?u:1"q֌U7}@QV"0 Rg65 `  "iRɕn+ث. c7wt3FgdwK<Xvp"c6΍Q9eW7r罝-zRt2鯹h9f,{Aũ/0g"4sY\aB$}.QRdʆU}/I0GWvDZ !xVA"gd :a\̛4pҎLuWk+k'M\`x9G4AtKk`\Ӓ+C˜,$@Dp|b+Z+i}Ũ)p.EM[nU7 G?cMrFqQ;feHHbsӘd #9$EUs?s0::l%??&Qg>ǫG1uU, w"W|z_jL-A̷ݨ`Μmp/  /qU\+,'3; ti@QgЌڌ!=3wǨIf[>JrH ƌrWDi{Ai0&rt O#?hQX_(P?9$EP'K&Z(zD|߲f9L?p*-TWAID.(yCȔ 3h܊y#@>$r5S.anٽUj=8)GrqH~}NHTĝ!N%SC}9uђrW>PޱmV*آSU~M4hZe '7QCiļ-)Qq3/ &nf_XyӪkDM) e}7Mmo5" do+rnk*ȀzcC;( 90Gp7~ʀY|0>a cN0xhs&"ɖPвJgTbA4ş 71!+U{b 8mvzD򩹇Я@X,nc!*H56RFdxb [ q0.;>=V)S#҅5O5ܟ:tkWc&"ˍu9tG.xgnReކD ԟ|2\@Q^+dF"Qw9$L/մ#qmOt\0LKH<GC<Tclr6+{?28>^ J,!))\&x^mJ:>- e8 L@`k>& 6b:MH>wSo8{S9n<KX;8 H)mrߖYXVJE#Dt{2,4$QYq~jL5!͗"@ po,~ 4bmS)<%: rxQ?ش<o1-hVkg1QԈ"oں ޺)q s"H)4D/U0e54:eh~D >{Oɴ hvm^dp,#NݧD~Ϸς %%w=# +hmmꬶUgӳs Q|wBH[ &y'qrWy_T1&+`O 8q+PTUu]NU{X立[:IN{]  KS]\-+fP4ʒ"UGmK1oa47e r/4eybTӪ9n(,[{ u+ Lj½6,N rI>r孱O(w$hkǽ>FݷևҳREkˇ IM]ڧ~/Ek@;5ZՂ}Y;FThJP^ݥGrQ/n)\BcU[bWtא?>"'ŋpB|f,=Lʲ;Yv~x0Rt2DbإȮ3 `ڞU# 絲Z&zqf8U^I#6|Y~`LG]B-cI<tPi2&7֪[cS7.Cn>O%h΃i<&ĘȞ,8rcgVĄ0a7|]o oBH7VcVX[}p 0R:@ScDVRz3%q**>9g^ :JTv#e@(&C(̇ia)h9";<8FanI m"85{3y4Ȋc2}O|F}+ӱS)Cx) [2EwlsB*9>m+|4_z_˳BZ3pr*`*K"hB|T!Iއ B8ҽ7SD9?`q9`u\u%ޡ3C?vjV4QS3b9owu=1'|`4Uf+^@GW+Aw^yIYɣO*҆ ]xh<~ gdX*LL!+Puk12I5\wG Q=yP1uaȆ,NKap!lܜx YEf]k@(dPPot%2B)  e 5͙.8Q N4l-\?5!nK7No6dߣ݇ Yw,eM]/X6S[lPi eE[ ͤDޕ5(TmDX>Rt57T)V<#R$rwkS]35MO6F`N7\lykxαީ LaaX"F}VhxmNJ:o㾌i EPgC+\56ܪy$0逦0SUcU?9\:jOE1ȋkp°U"Gj0ۢ{=kFs5j-l<) q.^Gώ/QˤX5zW t,SXX$אܿ1bl7zfԌHVCsDm&|l@ ̈1ܷ*7?wM%V}Xn >~13?My+_0UMٟgE`x߭xa 6V33hf-ڃZ'0m{^\_==aS׽*X`|R~:L+=gE8jz%qNnfL JYg9EI7LP6ͽ.yz2cM*-G#Cjhc0?]B75ә fWrRӽm-b"({;]Z/4¡:Q]O{]Ji 3ѶRV$H 0fc3-w͹% Jdx$P{C!<,&^zMXƐ_,I%J1ƒ\9AUyotvۉ|B\bjnF](Lh{8-jm!{:2+rLL6_2?m֥ '^(Z]DCYbA;38&Uȧ)LڡlOeIoAZTq yaSgVScWC0yyřIѧ WuI۸"& v >7@J-1{_ol r8dE;7甅JJst\]Я;uD~#WP oUc*}S:(ξG/mgYZ20d6dbeacae837a17a9ab53a520788c5ba77e45f767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990