SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 $$Q!  w Akra_Bazzi:threads=2elapsed=83.923cpu=148.172gc=6.196factor=1.777zXZִF! F2~]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*mO9@uZsA H7Cޔ卫*u?4j>5;e/R A*P إ%N<ӱO<;D .2/mlX -yb%kG ;| punq/c:@##ڞ?U?S2 nX(K8*Ih޿.qåqәV=N-2l kCYr4`u_ӷf)s'ϼFٰؕ~ϡ??[~Rc? n.3.QҠl"תd?D_:by)fBiԢ05_Z/1!thOnr0V%$.b\5W EKg߄NXTS*0:Uni=KBwDUj#Ea{dQ~K'}BV! Z0694w{ȥ}Ax԰tSUIV !F,\k_ ު:&›_` t %t|y^476y8$~=|gd(J1TgF> &4Ю>>88&迚;G* 8ucShĒw| gP6ˆ%"#a?;vA<+ aZSStڨ⡐ /)dHӑT? kKoueRt]-:tg}wHU ٣1[]&޺0[/t3> ٩!Տk-sͫ:jNzKVx(pYȈ:yioNjijYN.Еs }!zUEE"Y]bT 4JmVfW‘2&J'pY$F)F˷^䍧˧D eһh`йTZhI$̑iVEţ*4sshU돲Lliנ/q094h\q~ reDfj3^.c&(Є!Vdؚ* T=LIëv!*lg6JU`Npt9 U~=n4⯝[WKr9ۑ8^ 2N}^]P7ӟi ₓ.KT:9J.I>~͊QXE-OV2`<`C0\tFEVz(K: U):1R$fu($Dj-,N}գaM@z Ӥ`u"3w-DD;=<(?HwlGS'ߕC" ]"NК4,?p mHRHYXy,05ib;E66!}LEͱ+‘{jZ !\7Q.z{p|_'Q0dtU/v[[fǠWg1Q5k5Njw[I'}7fѰ7hq).rE~K1b~׿Sl5BK1BvF% SؾPA%-GZS7tc gQ˖DoZa+hj_zJ{v&/KC*UݏDmCHG)z#|K4p5`&d!%NZ\}rk{hLY6W>J Q;xiwf8#Su *LuV[|/wUȯvMLz[Coui#LQW_7w7V.f}̙]b2%g}O_ ]-ִ!)0 3AA08-l,5Dѐ_l{W_bML9$>F^[WFyy"MZ12C}Vm/p+.ZUfP'M ❕? V/(ϒ]ʌ&h %%Ɖ GXK T%e(5GC Zu5%f] e  ! Akra_Bazzi* fw2to"̚J5`\klh4"1Z?2e0셔SLwd9I6~8-=z͹\ 63L]6d@j!d's+.;˩1̮ Iԃ tvSۖ|s:ϑ𺄹2Z g"鄂i=[=d ZQ$5q3> S6$ _R1~](DbKqPie\0fsX*:,-533-t-31|2 ywԈ=4'Tz0y::@XZ\/0Wsh*`Wq,23u uUsNfpAX$P3 N!9o5p}rs7s."l*Z?<̰YYݯ,@`@QxK@C^kkA(/5K+H44_Km%D(NՁߩKetq#%:ީn~*7$&1VbsO:ЎV0H{> !d~{f+WZ%XFRGP]d}-C}#SB_͹i(&lFmCR8"\t'uˑlG~mO%j* u)'oC;`6QR{v(ጊ֊oLۊt=?jˉp3uվ@V@#|2rYUanp<? @, y\Ł}*+kK& f 2dpL3%g x)miR%&z 4.Ζҵ95nM͛B dԖvs+! -rS./4w<o)Ůژ fȗý?Z"-G\{1mr6m8]-p2`Hm 꽺ڝ?lJݙq+*By-l01ܥj!([0.Lb)E@' n 9(@}ĭ0_]m(P:7Srҥ|~<<֧F@ϩs`qjz V's5?Ƞ_~IwaWSm]t']bw%MZM_ORyF:j w!`v#.X hlDLGy*#dfu(֏>G|ۯ~v ݧS*xݭΠHfB:ƎZ, 58\S ΍0sV Ҏ1:6D5 Laӈ)Mi'o0L</Z6uVK,;hdL{5+caF\t3w2gB԰]`p,H'/IŰQ8URGN^CЫ?x׾%|-۸|'ҡӖ jw8dFh6\S&='Un=f{ȞMBLuq5g2TA"'M&eF|)v^j f_:Ck?3dH}TunCs?Uh򅤵FŧvFGi1"#+\*(QE.%[$?z҂YwʽJM\czlVmgdM&ng 8"O|XLbOZՄ@^'O4ong@K#%i]ԫɴ[`vopd ~jި$aV{^Xf`0 7T $핼5VVR@7c?j x:Rp P&Wݍmw[G(?>|̌4R_,D7@t1sN(cP=0г&@-I~hqPQ˺-[ kMst#f{e䙬}<OS5D|P\ߤ1լ_vTZ6L3Ŝ%l U"&V,*bixI Q}[$~[ekB\Lɗֈ<ˆ5j?P#NfD8}Jy#jO b,v(N`q|L9`F5LF* {O+Wj?Um5>#.S ̧Ak5=ђ,`pol)ύ:pĵ0E#rzb2I`/FUIJXbECg(Ժ]c:HSt `@f+le`ћ%AER+) $)G}g`)ϴnq){Ws"v