SQLite format 3@ . BBh77otableisabelle_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 mm94\l ]% Koenigsberg_Friendship:threads=2elapsed=69.743cpu=127.708gc=4.824factor=1.837zXZִF! 8I]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XSyg6MMNAmaN|׍hD5=\"V ޚڳdKN1i{C)0{յZExyeú0 ,#0Z?GKwT AQɡSD #*LKk-%ΜT6ϙZwc!(~ήi o 3.0X,:/(f6r,aTy @ރǶ9> o ɾFH;)nWib܉!j ;B|as(M0 vqX8m q`^\ ARR6k IݏI2*EO% -HUǤ]a?߿Gcse ^BeY팠퐿h_P8dK+L<)wY:_W˰c - x:qLMM̉w"`Tݭ]!@D\R%[`M~"6?S% 퀝Y9>jx 7))?\o1 `C$Ş5XF]RWJMGL0t9 =[mMVg믧&Lq pskgYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6NbhR-֝299RFy >t(b UbHkT5eW%۸ۄH#%j FN!FJ5eqG\|܆ߨ#xpU?($Qn gYZ7zXZִF! Q0]ŗXi%9#c_b,_蓂,0׆;Sė< QH%?6Ʊ`zu'!`睲mi`$|Us96ÅʆdDR?r#&^ l=$@,au2T/@Cz!$[\5(Cm}| Pʛ/x|q/ { E}Jfa 1)i:Su'ao :MXr{Y>Z]s?J/`e3gt2Z#b+ni!Q9ڕ]$Sth.-}ޒYa9? 9 Koenigsberg_Friendship_:(|5[;}h( ZaY6VZ2Z2;R^feZzվ1/Mbn;AY0J{±U?nM UCd@ERZK+I]~BSPЗſWFzx l0δ?`扁ddaL |מ 6m4op|C:^$F;D輅8 m:]"P0%MTϗ` A߀xFug?Y,R 3/ӵ}>k[=kH-8ѶtRNd*,3f|}s^ H+81g=X;"LG;Ґgga42|ov ,Huj{i,kv#E֖~v*#x'uSob&-tΒ7|IN UDˊo1[`\BSPMn.ϡ2^~ xc .uۓdƼI ̑RE,6h WbPx(9$R}{ d1"{o`]E&e!wo;;g󷙣 \2!(inX?zQu9,7uԗ(|jx\L4jE1ZkZtUnUK&V 7ӄ9lYe} !mp \* X)t3\?#@Y>Qa+{h%MJPk.|gQ"ji e?ֿcV{|@5O2u{5t0.0i>F@b$5uڣ B[? زGwKI~zԉEpgtbiO"L_o>ھ/'wfb[wk]Rwd[Iz1dkP/.w~i)W*1b1tbvW=qXlt}p<;LbY}?{g=!-DEUb <uAt>cQ\PQ#K1-n>\٩[sX$Nz2jt6u#N;sx-BSMGch5=p{Q^`?qq '3wqϗukGp 0 lJcw(;a".\ADqB N1bs0`&(m"v#}L[Ԁ?UkXiڷEdG>u?HW `Ob}&8O"4݂Nwt2!q_[u%%)Y4ނ:LeSX&Z$&ǃIvs[TdHypߛ>;ZA٣ mzd0@F2țx#S\t\eFa#>ϬiJItl2Ǧ z!c[ M*2Mу:1H2[|;5VѼ ˶艶9>{$lJu˳^-9  NDyq KehiRv㧑bNlZ꜔*ڏ@|evDǼ/8h#m:r/&[;nr =WF^I. Qg敜yZU\ׁUP6ϿfZq=F@3t9-x|ࢠo[ѽi3}N,`;so1ϱ9ިZNj. GJ*XA t/` )5A8lVd:XGQ1tg{G?d=;B iknTIBK.gC,D;7jO:C kMPhtJ.Byw ^Z[blxH2+/*Sy9Sc~+q]eP&LXے3qg = qk&9ZL9 ftYTw;QWAjQ5?_3hdcCdXgGwt9u8 ԕC1S~Asy=yy09;8DZe_Zw*8$=6fsPGthM-[(Ӗ41`9= 2K-9:r/Qg e/ivz$ ^cw S|_b{$S%ҰQA5_xAjDSai*k]{jʴvT֟UQ FT 5m;qďzCxpllɊX~M=Y0E6v9\- rRwJ>5͠i$fC=N%f~\CطqΔʹ-w (ϐD:v, GLR_āKc=.+~xldVj|#SwQO8p>Z: zn}kC"֎7|x3)H)G3l5xI—lɕ|/~ aPuǮ-x6+}]x 8 );u7jxXO]Vkfd=$n[mlXF9)?X$2oC-N~lS@II9O5`mwVa~ {agYZ5576f6e30df8a4ec5beb68472411374e81ffcdbf8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 025b970b27954bb0b37f9df5c5a593170da80c50