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 A= \, w]Randomised_Social_Choice:threads=2elapsed=26.548cpu=52.144gc=2.560factor=1.967zXZִF! ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p0O>T-xX,#?-t\u@=wi=+֫(ƾLL+6NUXfdtwzJtznSX?sc %%gͦ9U7-5%~rkAƶI 0*r`:sTq5Wv`j$ة؛\gUC#orqڶI/:>hcj = Randomised_Social_ChoiceoTʂrC/vۿ%0 q+=6A+x!?" N:U0x-*M`2">14^1^IrTxGv ,k: 5NiNX(Ӭ^z&gZ'Y5 3J`Hsc+wo ԭC W(2mQ $Ħu+) 3:5 \vUHG) bYOs9'rDЪYEoֽ.ϑtH\21z\s=}Z)x| ꢎbdzCnԁ򷃩H;%/*Z"Kg02O8W44j6f6>MN 8:6UOen ĵ8kr&FWsL%u^VI o [KjB![AU|riqe{pb`wfLb6A.d]SPu]ZG) q"2 r]q f |Z1LpF^"! xӪ~<[m pL b n}3js#$rOPjG(Hs~OSj^f]DdVE ia`#~?㽺cz mFvsoh@CC$wCc]{nyGjNOm%U6 -&PsPq.tTj= 7&Bv`T6g"k.>foe~B?:aXpܢuqe!'EĚqZHSǻb"'+j;|?{BCۣ{խʼn,%me*G/M&K֘46Q1RBsX?:"Q0-7&$$W$3aZQJɺ,,%ǥNB2 .)_ۖ! vrY~džv&j%Yӵۆ*Y) ɟ.=tvمVl *C,k=69 )![sxyΫO@:`]5XQc4bit V=btf#x; 2K3&c D~u=-ʎi@t4 %).ƔdzhxG!S])^yv3w͐f Q*&.,6ű.=F9?$j t}$?L}jy7f򄄚 yoryxC(y-Px}P`mqYei#{צohD+"fV8mVQι] 9Jc}kprlԊyK`w_ʦ~LFt|I >xx?;/T#` vm1{s.yyf☠ɼĥg&{>$j\POM /MwOy3H?@s1 &aS9Fcc$۽4uQ^彬x)a(L )v1>w/2X,Dx\V\t5\HV\r #GT_=@C1Am"O꬟'b`֪sJrTO>px~{RF.@8+_O5! wk녉 $n13TשX\=zr(vz)$ģY0s[SWmIqf od\zE&Ņ3dGqOy6ՈNj Ƶ <{xz^)‘ds) +Al,:F#cDWI뫣O"LEEnBkD6=|YK>@mD@"#+Ƥl7$ܐN9|ڞFeҭBOi;`'Hg)I$h>﫻VZ;2OTڇGK`:2Ob-I46xT {0=Ve_! 11VA~Y ZN\+uӸ}`v{y2NG. JG޶fҎ0F_'4.7ڕx&Z,)OrTy1xES̽en0Z x3MW}-i}stk30䎿M};+^cڎeM.qOj!0{OQ߇oa9d} MJg9]\" V'ΏI˔ ^ *])-@~6 WMo-*"zKѧ ;n'In4u~fN+zUl])f8xfƄjͮa<(ue{ !TM/9UBID`N-KWڣ)Ag5dZO!1_ÍkCkH)sΖ*/S-V'1?E@Q#TXŧlF~ʶY~Gտ3\Md`Vq/aXkURć\m㺼|tQ'& X#+>6 `Xϑ%j,ZVjmFnMY߼,NOmr5Ň(0rb&I'k4NgaP`ŠJ-/n)?q7bca ţ[R)1' $M52tlFY{#qd 7iZ rC?Ac$r_gYZ7zXZִF! M]ŗXi%e (Ԓh *3ωe<Ə1op&Nb> ~\nna+sMG s }(0ө[zoy*v AMxtu wz#yLX8 m45e+{F6NL&C2yڣɞ0u@+edpk2]KAA_9TnO5>^oYL"긣{BrX꺲߂FLnfq)l*k"{Lwo=|RúD9QsOb|Ko\CTOQK9$Q0˄gQ,I:ݫtDlC'Ж5ғ95\ӊ嗸&nW|'Tsh C0%s00%Ƹ'TϋT51kG+z;6/ճˇyyE/So?fKC"dvI3WP?+GW}Eȝul P# Gؿ:D!bu,oW'ul~Ӳ D҄;oiayk+ߊRlcdN(b *6@|Xu7 ~o~)g*993@A$9&@PڪCjWsR2>,q*t&Ygm]BVaE+#n=lң?$Q B`x,acٳt i]/埥4Ip 8WMsWy vR٧jW Ҧ|@k&<,gYZ0531d5ea434d09350b8ea7feefbcd056f9ef4921 162a03f9ba77a8b985c0c58729bedfc2c7715939 1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0 24a4c0d756a19f4894fa71d4cf777215d91b1ff2 2ab8cfa02b0c96b40d4234da8de3f0f7ae159ebd 35010a574853beba4bcbb3d15edeb19614d92531 3c1000844c748794d317e5cd2ffe8facdb7e0043 57c46c16afc8c40e3d70b8d067a5674003ad8e5e 8372d4e449f903f6df0f6a057c44e3ecfae01ee6 848fd0b06231d030f6440b82602ab8e35dca8963 8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b3fe7936d51c2259485fbd38555285c046961e5d b73f08526174224911667da0557076ed2546ff28 bc82bcef145a04443890172632e469806918ed44 c094cc3918e06bf2244436d0da230a18cd39d1db ca62020d95745fe0a2efaee8f4614045985c1e83 ccc03f79494907bf148894d3eb8b1917f71a6175 cf65c4400e0fe09a706dd64ad2d8ef931609925a eb77dde38759c0ccc7c921830b9dbb3971eb1f03 f4a80814aef5f4826493920adb368f05323e001c f637f1420c1341996d35999b3a4cf255b5e7a2a480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 a457760b79716ec11200989778828fac25d60f84de4481aa6681de864bd50d3babfe721a56f4a88b