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 7\\ ]c Algebraic_Numbers_Lib:threads=2elapsed=88.375cpu=154.128gc=4.832factor=1.747zXZִF! tm &]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GEItdힲCʪŒZN9[(Ć}RD} 2WȬ =J[hpo֬t@b%wo-ϩӿz1Pب [9*>$]אX&t52`[z1\[H+ j!$ƴ2j ՜S`Xԡ۶(׭N}pIP^6.iSrP͒-]YV- nM f8'譵NBB&g|1'P^HZ(zp*Iu!c}P^/d3JI8KA3aDzAL}N(r^e f2+) ْ0v.k2 Xd4_1_@ Nsih lUÞOas:mU|$nU0b a3*.-(Z,[mN=;ɴC&xٽG$]uu6yBQgk?k 3`?q*H / .V͸yx~mz61Yޭ=7]")Ң~+@a 1 d[p˵f:f m+5OV۬SϺYK2al2Xh}=S}rp0p`ȼr3_ndzQ#9~96lh`| 2uܢXer`٘R@x:J&Zش!Y HmHB7@ki}]0N6;)Nض(gfgɬKVra9b.iQW[qDeS4R%y cCDu 5r愌{wt;Ph!B%k77~tUSC4ô6TNz•ճC@qLfɇ9Q1 Q% R-SK+okFs4aC֙zn'[~E2͢nI=5HGÂy_d}~{Y("^ A( AT;n7g"{fK~BX[53i{/(ZC[o^eԞ""oָ Q*b2Cfv_dsr vz%Ӥ} kmH+< Uƍ XdgGiJyxgg3|SEe5-+Tx'7w1bXD6޲|cKW`m z6i.) gYZ7zXZִF! /]ŗXi%6.0b +Q B cn x׻?vfǥyY\}z=7bD,"dWD4'ӚLvO.P;J(O+xev&+-Dћ5>H%&V|# mrw"RrZ  5{9DeȤ߁b)h*FvX%se d8YG? 9HUÇY6MɗGL+LI4nğ="| ˤeKW^BuD:tuߣJċό[> ~*x)xmMRK;[怠M&utonCm7 {[Ͳ#N#k'(FBl2j94XR~śX8!qKC))AYB.C*ݪ ɦCC{[*Ē~X_aiOԥ0d.Tp2@ߩO.9J2o}D􉡉օ'm_ՅBN(tg*W.05S5"vARIˇ?^{\j3tn/ x)X .oƓ$/潴NS-I$I2 M F:gQGՙvLn1.Lוlt8^qWj>X05=ےԤZeٙq1l{@%J{G!ħuθc<7e_S Cl{iU+ףM';材5;GI SI DAh;GMWa7CQWjyA/PPóT*cӑifZXln*`Sr(w<'Av81~s7o I.ʕ"$.4wlž{<̻)7}Eqo8VYqzKd>8[泏+P52|P2?O)lR.L<m. iY[Imb|0+W5IUr6$2~yn/Y8z0'; 1~duKx==3X\>LVF1P1`4ͧNmModj1pU 7 Algebraic_Numbers_Lib @b;5F.UKG8};1g6;x>i A˒Ԇ| 1[\rU{6>Hk01@-λ:㬬}7cw548,fJU&6k('BA"7@7 W agrCLL@jUH!>7X 82(Z^C(BFWWA6{;ɽ5Akax;"C@ %d~[_]XHc';u<_Ajd{nyr>[]}i'8ns!8]T*H7YO7DȕN44\@g:O$lAja,ZJf#&mMc.FӔ-b>ӻ:r /X4 pJD {=]͓Wo?nw׉25^w2TFڢ*Ii`7)zOPX;r~`&.ᭀԍfmH̯ZׅԶ[J^U64'Zo ﳐ$)L?=d&=: 'zgT;ֶN5 oY} JNWZ:+|# jlk 91۲t,VB>ݝ}m/6jm6 Mȸ_K~HĽ:>S9 nX6.r)v@8n#A,NJg1DZ_30aS/V I߃ 6Z"| cϒ *_vqC_mIh t+Kt) ַq +yIO,gT>=k~"*!^g'y:i#" B^fQcTT /~KCC ]{c#F$!f>ڸkYzR_f1C V*x]$c_D\eO,`}ozhpEÅ_kˡ`0GdɺO+3֙wL0t\VDhf3x'JƒA]m; X8(]zn tui/$RI/UeY/  YDR aN>?fKʇXbK# ~ 8Dc,[BFlBXiO7Jj9Z ~njqj'B _ȢYV&g Whr,!$ՎQ?A&aUU*Ʒ!*\xAƣ~9RI]daRU:EJ?NH*%CM>GGM2i(<ʅt`d>̓ʇc>K螧K':bN'Ll.t[z;dyQ~<cnM.kJV]ُl O&Y`5XٯnQC ^.To70ٴ( YXZ&F<)Dێ}iє+ܨ2H^ߊԜsz51*r }MU]&Zd/w0TM'3T70E qI^F׈Wab2] :lD/ѹhM?oMeW!S@?c(^o=Fv ޴5t߉]Vbҟ~H]gfen A߸z}:5//9tMN\vNk{H,yB>lA)#w$1Pb1XWO4F=7qh)?ͩQFH43g9EY)Z^q>QڋnovRDĖ8%\g1 jJ%m`)`٨~#n!()Y]xRxnz?Rրmw_,\" W*I%*L%-7q4$ K 4H֡x΅ʣ {K顤>,0o%$Q \gq'蝶7iҾ%_!(tTe"&~k7"̭k\46%ao1~Xݗ Kt D5Oon[Wi=wRJ & %oW(SIB Ҟ RT6)nv;uxYRJqDdo=jw+I]9^NayʹJQVuq#Nν!t+Aax`U':6f@Y!l4*~ãX&_@AURۀԅ[^^(4ŃMkM# y1b7Ե^3-*8AH#kJeVƅ:>%ajs=a ,%:%sLEHMpöRrv6pq /ĸGMϫ#SSPґ;R)3?C#!YTEȀ95z^#tx,F?s rKwLkȷn3K7/&ˍgYZa8bf4a9df84888167757c44fca8692cfe35daecb0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 ec55c26018e4c429651a6156e08a95f9cb261db6 309ff910fb36eb3167c3f0afa37296880ba15753 915d1fde3a48978ae26611ffd0e906f9784dcca3 e9b268bfe060edccd4beb0ab48736c00329d90cd 957d222bc870be36c2db4b54c6c5b6e423db00b5 22c85d165476b9825df6218c4d88968cc2a6c4ce 9064733cf08be2feca31dafa58730efcb85cad7c 395173529d858ee7cceb1a10f256ba82956df630