SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info J+ 4D ?S Euler_MacLaurin:threads=2elapsed=28.001cpu=53.620gc=1.720factor=1.917zXZ + Euler_MacLaurinִF! C]ŗXf1-q恈͐7ӺV 4GJ34nwbrv,ɽAN k QmB%ԃ~ӂ!es<< :]^tAȺAr?] 5Eyi:+#-,y cy\$FåUY=$& y_:qY?^y]Imv)=xw}p|)Wy׹JLzכG鉬qXDXBV1wY9wCAr=mص7Z= oF gor#"IٕCO WQLL~58\l5"cPbԬo/Hk9=ߍ+( ZN9n'Ċ\5 e~9 Q`貭NU*pk{I;8t/32> 4=&WHNYe鴆1ps(fyކFEkk K7twW M;(}?8; v>9@qp38dRsկf$;;29R(Me]+VN`!~m{qhÆ O5xhr$B80bޒ*&~'^εcsg60MXaX+w8cAYô+t%wq[ᗵ7UPzRO)/l@p'AjGvZze>T)W/T9)-iIϨ`*Ā•6‘?\; 65JhC?ܛ'aK'Gyڴ#V{i ږ~S+W5ZXOVjϰlݸD7t)fzw>zI#ԧxQ%x6+L7yo_ di ٮ6i~qUypS_HM5hv?˪\q tG!غI>甡_4jR_Vp=ҟE2#jy@66l\uqjJr G\%/n.K_UN @|cf)@&8Кrտbi,Lv Ա@Q8E*[ c8u\ V_(hrLgi"[~f`25z nOq(^F3f%\#&n㫟Z`"ΈqyTjxXh';1-|"T-f>91Ѳa/,UN:\/ C%'࿼&ȽeMd60;2ndV-戝2`9dPD,HSS/%|]t;<#bXYe/\_zn^" [EO&y:ܧ fgNK RFY L9BJ0Bq|6 ʦEi)w"EL j/uzec>PFhg<:>_5Lq-Rbb0růzXXY ?|06P#s^߾LJZxļ#J(Ħ4eqزz8$CIpIAWtЛ{^O\~ګP,p!!*LzA |t{@#VsyQn:ጶLj'x JL kLh71sq!9ZtV#2t*#Je+2'(]a 8DP_q}<sĎjȪ9':<4%\"jVxbeM[5k }=Jn=Y/Um{u${UVs0vek;sAwQ&WM߾;}-ЭIq{uN9,7h"?|yhfEQHՄ `brk5\n!%*JӇuKCp w7ƶ7L:%ݸGVd=~.yӌQ=!6 ;T a~Ad+hֈ78LY֮aGJNR-)ޭ&SZ(n&.sWuU[ M Us^ b# 1^d]UI*`WIE.-V?AsΕ(0k+&n' yk{<V.Z֛,z?b jjVd͎L@EAUpŲWv Jcb+9Li_Lhjr;j2ϕeH):$M eW%a Ё mŲEH^f$r nN/0| ;aV&MEۧV|Č ē-f꿗 x.&qRkL8a-xR?PEiO )߄ۤÉt1)A޽͏zW AÒ9Tq?W>̑Yήgn<ubrLӣ}%ݷ"e2PvURS*:y{ciM=ưD1ݳVI,=I}eB'i6Ǣ'dlU gtxlű5tS<Ҕ՝(CVEϻj y[2тNaعj@g֐{]C?s!_ΟGx E`J-GnJY9}T{VЖa3ATn'QaH3hlñ;ET|;)}Y_X}nGfBs!JcpR/C$3q~dVӯŠxW=)d;Ҋ[|C@AVqAߜf!BLEzC$q%sǂ\d\ %)~mƇ$UJ+M5w WXMu KtԬtJ2x|![}%ؖ_ 94@hE {gڴCL.@=а-G(u|ЉcR͙9[ %u©VMI\ⴁh;_Ő^NN{'ϓ.A_㏒=w&ȡmG>V{9|C#=%TŨqѼ|KBRwm}GWCqLlu? Vl(2H,*ֲZY>O3zLP&Ӌ5L}[vXL{ҿkxU:D- DڇJ4Б$)vӒ)XbMat)ؔ%T_\T$dž,kq=I﹀ixmJB93ݘPx:*a>jVJTYbmC?NՏmo@c2܋ʓ5-C~Zɬ=t׎Y;;JS/l2RG l@ooc˯K4X5wKbE P tR kaοIòϛ~;Yӂpsc~iӐٶ'`7%|(y+YI l'sKHkZH~vxB].OOݫ](wZ4QyI\~uΨ`; . փ,6}G>cu Xovj1Dn6*7)z(,㏌ #+Oym~Y/SaE:| YM1BȔ{P 7`3o8c(Rg&$N荢{E3%7zq% ҸZ+c \jTkn1X|ɚ^\\R1:) qxz=L*bmwn0Q1$oqW kvhq8 . |E)Wp Ǜ^%h['L8C"bäSM_GE/@@GTnRDcғ7uKY1B-xFlqK53[`XIͲUD1 y<>XW/ -+ Ls~,N88A)+ PdE w%S`Ԋ ]Pq|Sj@2nLt'zh!UлMZ _PHkbs:1CvtQwsFk2p!4拱$5`*BTD}>p"NSr7jpM#qR''Ւc#IhajG6-~=I¨_k[ mVJ9ڜ 9dKvJJy(y}/ 6W2} .K9L =s^ЊĸnfdV_'%&*E"K֭/0"YZ t·Sk + Sik68=>"SZWy+1<88)[ےhxͅ7v vy gT&0kVو*AF͟#S[rp EfG5(ZIAD3nHu|,HC,k &?9dZN7'qnjrcފTbZS$ 򸒮|RZD)W%fFOr VUeSg#W! `{fZ -ֈ(w.y-{)K 17fuOT{3a>OרtmRM2<5TT5}} ~,4.U1AhnK`><܉0mevȫՎd@c &P =m}5WbSSݩؒp=QRn7SE$GW d% 0>htV=|묠i=S]Z=0Yfs @Zg=kbE62!d"h(b b#=f$A=,p?8 3`6..-cʛ8;t[$zچ؛Ta4W8St/C saQ 6(z4t\dmiċR؈n1w*Uzèht ^m,41%`-IGWX՘w*p2[C6m#\ݭ\%ax^6 +f hjZy ^ Ż.S3u';S쩢҄,$MJLS%`wX J3s yXщk!Z8 G87'oFP NgYZ1fda4c86b608cf767e7cf29a052ea214566aa18f 306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 814d1b5c3b9fde517facd0971e3dbe2cf6237736 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 9092565032a5942e54f4ce64287816531265ba96 c6ee00b52507a16ab7fcd0a577ef3e8cfabd964e e4eb6861b021750a8f918a19704014fce9c75724 ec2e32f7118a1d1dc54d9c254cd254eb1ddca842d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 9963afd7b4a313b03ad24ea07cf3d6f4296fc6cd