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 ?= \L S]Randomised_Social_Choice:threads=2elapsed=22.079cpu=43.584gc=2.036factor=1.977zXZִF! %f]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p0NtmMd,qa}ƷN"lQ18& B*pArt-`}U#c6`Ec |WrSto@{ ôZUS #TGCǖpl( =e$f¶爴d$k;fJՠV7Z> c3xjwX@BͅBDsrlKz%ĺZ9D JѸ  ˌn;jS:4NbZ{:Dv|Trݫ+UiL֯\|B[zg_,2D&1tf8ECP N|-AFHGH=ն,J\32EͲ6WEtPG|+(rۿI78cəF}KYu,B .)aի0l#Մ)`{ƏK-uKR q 5!sF Hif|a$99G 3S#SD;NA'E7V&',,?7]#^3(W|hc 73+.ʿ8iʎg:&lL>i *FHLSpwaCb}D = Randomised_Social_Choice 44pWKVkӂep.0UIoCj q۫Fɏ(*+M:J"93VG]4V%FK'kɚhTM#|\54G:I'ee;(&$E&`JBOC>׵Gyf1PH^5tKSsk&RN8!^zށh.LUڅf@ CP ۭ6P8a!ȥt;FR_CXז@sffF.EXX:D›}+#f6VK0i يE:DS@P>*`}涝Oa OK+^꽼DџxN($$Z38cl_I1& p_!ȕ8?{,<~{gP9-yp3,Q%KHfc t>ź%)PԸYwT+g<`$'6{:ɷyrĈ6@=Y`H y#G.=34D̲ m஫*LN>'-oҨP!{ڋ ˣUlZ%*[P }Z2mi>8 **w}9]Q-W 4Vܰ*,/0xú!@[Yq܂%h,^S=%Iro(]]A̖V=fJ kyr9jàz 2༆ Qfىj=17CЂehmn c a^x9pU_k8m 1zb#n?=QbeNcĢA7 ;!uv 1~-bcl֒Zދ(ފv+?4_:6IwW2`3+V^eTsc4y Q3 |8w(ԐШ㔧y#sLUw(ڣIjIuRSOO)R-^&ei*ݒa;b!mI~;zmqbvי% ewnO&ߖ^WwhH3IdO|8fΞEʑػgG.9e]g_":(Cq]HIR \>ŸNn84#"M.0i2tGR8cyh+3X\wR|Q'r4Ƞ29:*&ḇM PnR5wTbn{![RTfaB~:J|Ÿw5n s$B uz74|H^^4nFV'YS8 yDݡ5|!E9fVcg~fxP^KB]E#^|Vw:U0&Tg e#1'I$ȑ"*cQ9(ExN;-yr9t#:[6̅NlhS{ zJ%$)JsGfsq0ߟ`ɾ !'o?מ{w攮+;|a/7(˭{ ?e?Z;eDLw0G,b`LAR.0 fxoZvnɡs]k)r4/*kCq>/Дt,(-5}-h{{ Uw$6yK|>o\v6App>Ę}pBpc2Nmh.y@ʍP8^1~5\C.C$,B<U{:#uwMYN)ɷB1Ǝ"?}]>'Ga ]mk^N\Ԁ\ cY7{J7IRii~n5-g0$@@">I M39rb͑LX"{Kp.AW{_;qݻH:26TӳoVBݬuurOUر#ï &;yG$)z] Ų Y@SA`/D':?[ő\>uz0k xєq!W f@Cw^SHC4]c?H{MS\e(%oDMgL6E {Yf!V=ْ֘hW,Φ=SXj"4}V6Қ]BgY͸|Ot=tu p}K=%yBpӐ $3fW۸$Ϳ6g瘁1-=%: FGE(i6gYZ7zXZִF! u]ŗXi%B2SD$bK^ZaLqbq2/Lcle+FZnom4tm1I.xm79,\Mˬ>ĮB;q{ލBfǶ$UlρaV4k[ 9N:IZڤA&j0=EF-k?JݝZe9kHH :Ș%U* uz6l]۠!}E^n LQ2~X*$kزY+ NbSTqMom/ޟw 1RB(T-Xu"濆3 =n ~lJYD (R!,Z=gYPiՕOdžI+ 5'՜OIb6- ,l/n2#&GԝRib}y0v׉ y(F.SR*[3P3HɦnjA;c pm5aZ! dm7xϋ(GGv/(˫Es'L׶eߦDU~y38PjQvY *%zS>7sp;{4{8`"Gٟn;?y 86{ ykS/<,q-86l0?+Lnr`U0ٞe2@BᐟEӆ%2xgO|ܿz6NE!"/Wn TGgYZ0531d5ea434d09350b8ea7feefbcd056f9ef4921 0b4fb5172ba32015c342929a6b4f38c43376f57b 162a03f9ba77a8b985c0c58729bedfc2c7715939 1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0 24a4c0d756a19f4894fa71d4cf777215d91b1ff2 2ab8cfa02b0c96b40d4234da8de3f0f7ae159ebd 35010a574853beba4bcbb3d15edeb19614d92531 3c1000844c748794d317e5cd2ffe8facdb7e0043 57c46c16afc8c40e3d70b8d067a5674003ad8e5e 8372d4e449f903f6df0f6a057c44e3ecfae01ee6 848fd0b06231d030f6440b82602ab8e35dca8963 8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b3fe7936d51c2259485fbd38555285c046961e5d b73f08526174224911667da0557076ed2546ff28 bc82bcef145a04443890172632e469806918ed44 c094cc3918e06bf2244436d0da230a18cd39d1db ca62020d95745fe0a2efaee8f4614045985c1e83 cf65c4400e0fe09a706dd64ad2d8ef931609925a eb77dde38759c0ccc7c921830b9dbb3971eb1f03 f4a80814aef5f4826493920adb368f05323e001c f637f1420c1341996d35999b3a4cf255b5e7a2a4d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 3d4014483414825c400089dffb34dee8f3340d83e7cbe9f5d92f2a7098f71406dd1e377328e3569b