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   j= |\ w]Randomised_Social_Choice:threads=2elapsed=23.277cpu=45.584gc=2.068factor=1.967zXZִF! ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pqW!IQE֮QC|^Oo2S@kkL?%.&z'[WsZw*ktsQXQjok*/H\A]rh)xޮ/oQiiy.o@t 0!wTljqzdf"^1Lg QD"W] j|4eF'<RUH 8Za>HU4qQyz12 x=YU~zPtvcUzVskA‰L`t{җ`Bo 7b=I8#] #ME%(8˵MpU@8Hε 2 R(`⭸o 7w:x$ |`wm sj[T'أ=A23ڏD5li0DL(uИ|[NG2C;6Tׂ"pʒ.eL.4up wS>1,oe2d Br- BŹ ,P̕C<0,@5͡ѰSܧBr#,@KdOSi=7_lktuYAc2꒍OuntؗG%қoMnqjȘ=dvU,UX1Q~OEzVwf*̅8dYcUD1ՠO)9V&^;}I<7aXɉLqڬk>3B!z$Ƕ@F:$朩c٢h陋߇YNjDuV`U vO i‹.wi8Vx)(q߁"(665b9z˅sZIޠ?kPeZo54ꢡ $3V>򦶅3Hbxm@CClh-N/(,i<>n8`|lvʈ` 5R vwZ!%ޞ6Ok@^(jhPA#0x* ;P Ud蝨Z[*.&T]ߏSfvDz &oo!{QN&_FhB^3|G ʼnZ2,Yx] +5`F,gm-+| t MJCxy5 6p].1a^l6>TY̳҂ XW= D){l{"JȺňuDߛt 'ɶGЅednr p>ߺc0x߈%cPSfM*ٯ$}4`|[%e< WWkmJL@ K02|aoA[Uu^1=N| 3$t%6qKߏ%3KR1&\;NƬlh9rkC : Aw?6GR_`%H]/Jձ>"> Eb8VF" B浆]d5k A=(~S&t+j8N Zieg08s{( -|mY$lYʕ rf>ӖQņrTnj1|7VfkLli(,gu/?K.~(LECCaf?9C%q)>/SrΘIrOK6PM@)D3t.j˾OkӠF07@R"Н# f,DIejWc6̂QN8|w4ens ԴV,;&A6}4>gN nԫa zLv:=a;9!fuK(Ss?,?R& {ҕ͗(/a-軔&-݆ȍ&|z~' + 0= ҉[^mn PCMujQU~j;|_i0<۾ Sia_<63X?20W4-{i;i,JaRN>g}u-5OvV?ԥߩA7 |i`EX]A9[g*+[c=j,8XZݗ?q=[c8Mxlt&WYQ֬ 5(2-3 d Jcډ~dH0KM;♄ϵ>@>5Gz1a¤ʅ/bMeFKnYY^wU ^Z>%:z89z1PM@y+2!!mNpėI~Z;@k@[Vl[sKPQ(u+z>/%G?ZߴM~ Ahm+ARUNʅz#o$4ˆŹnF=ڗǫ3S dtz|d~$@\0tIaK4xmS%b?7OnƔgv# ~wWB~~{#Z}F~$ ř_?E/aE%3mϙI 93L_:(cVP1rK|a v==iC18E*f"G$<{Z"ێd9P<( }oOep֌}l)&eF#niQЋB덐MRYjFݣk]m`sw!'|8qH9nS H2)cVZP = Randomised_Social_ChoicedvjURi%(a}6"K dXzp-$%4Nݪ&{9ny)JdM!5Ǎ"h9Yvm¦H[$$Pa]af;gPhΔBЙ3P}_%XEfuS$qР<ėGZp;oS;;ۼA2|qD+Jc`ɀ+92{RjI~8 tzoNʢk*Hrd u*IT'6Q 0NLTz&ih{|v!'%3Ff> bXW - OV(6\Eh^d#BuA7Ugõ@_]cyC>n4gYZ7zXZִF! zc]ŗXi% p(9` Ae.Z(>چp _-1"ECx-ͅ,eHvIX^4^_Q UT pw*K+ܶHp@G-Yg#)3$P@G-ܟ@7,ln'%gV\]rRctxpSQU?px+ZRo6wljqIV$nxFS3ݽ""vKwEEү|5Ն~>SX#Auqb:UĽ~ځ SBw>(mH@]9K!)l ^C?4Y gbWƘPǓ4ulqE--O쏑<IJ^KIj)S=<[F4 5@ k'81zDJ kE\խ7i@-Ǽι_`1='ƶÿ\U:e徸~HSES)vP3#i_#$Jҹ;}=_ϤipE#VeX|6voll >6Z}0~$$d2o_r6u2~V-2eԢ)%#6W9_Ur3L(׈%T;,w۹*HaCeC`zV2Z5 v25uYaDnЌ&^g0rj@nPX櫓Q&)tc{D?r™iE|ƨ&a]//8 b+Řa6wAϑ]h\{8YA+`io $u0s,$0Auտ%5j4إ캅=BS )od-[poyC X~>!<~o'є@SOĤz>ϾcMTD)G369_Ӄ宊|c^EL}k66p;bɘqwKSH`I^ }&E@wdF~!|3gYlڀVgwe j!n1X*a;K#>h'U #pI"SHftPhL=qF d!ȰYmsE^gOCu(qy ]06:|HA [ gnJ9vֵ@`5q OׇK-T$F!ɺkDҟGS`4tu"ߐ_M*Jj1:c0I8h>lY9,6 AvVmEnUf0ʈ}]Ɣ/0}a`|x3V/4E=fRQFA|Mv 5X֜s$QĀ^p aA>U`7g> pC,:6,K{GKK y7iJb6*aMdR=?*Žc}2`ZGBCP=.͎]hEns!擖_P S>1wT\;US+`9Cm\+;I,'BȽa