SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 = d$ ]S]Randomised_Social_Choice:threads=4elapsed=14.356cpu=52.496gc=1.820factor=3.667zXZִF! ]ŗXf[&&SeIȜDuǪ iw.}2 w2o9T#k$_#kqנS+z5`ta- LB7N k"? LXM7N^ӻ+#h[xI;u03. I֤{u&V2%Yk*2.9;^8xk'N>X3Oڣ2Snj5sBHxQp3;%4Ag-*8!:/c̈Z9x0IB>)I.,XW)XlLNZQZ4RS,^CF͐o-#(gOV~4- '$`Z+25X}FVʙ4fQpygv8pGp|atX[;X WB|pL,rbħΜv>lA/&X$tl"aS8 2-MVuQj3h&.ChHRm?3w{ը y8 ȏأXd*v="Lj v!H"؏ֶ6RH`PMyo  :^B$?U1rRqIsX49`"2am{*ܮbRE/BK#+ұK%,x٢8cinaЛgW7Nz-RMLA=R,Y'>`S!҉*BZt]1u|lBJV'4L\| 73{y1x)9$?T6gYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ƱcboZQ:P2P-ի *C&c >_ǎgi0@\Cni`~;] @|.-!SK;:?[B5aS8Sw]" ;L~i!rtoz(GfRЌ#CT )@u3DxXQ:I"S}S̴98}-E6;]v+AΙBݼok-iY- N-9 U qQЀ|>n/+q-6j:_8+b, כ@/=]]3ئA"[ gYZ7zXZִF! o]ŗXi%Ge'͉Hx|SHx&'IU8C.F ^G}՞n> DS"h>b,]?-ٯjiHm2^K0/TpY>+l^"k^)iKpBi,ru(ƶ'=EovbǂrqaG,]`~oDdNt>7'ׇY:8#;e "hNϔCP.",)ǜ*zѸx]ffkSvP/wF /  X;O9UnH VR^Hi&su%.bͶTʩxFI5uGPW! ŒLu7pzZ)/_ƶMxy~ٖFWY=[ܟԦNkv_gid#~8AR:IMUAx.)Ny{DwCkb dz䏻8Ohݕ*3TKV#{l]%g /?쓣d$>-;Dj#iU?#?C)x9 "$;tdd'˄fTl:7n2`dXRp,Nn,++D`Z8aY`T7̎ GJϺzX&plB-D VD5^ !(sL vM܂{F8:kL4HBϺ;Cz.FrvEg9T!v{߅n@*T\PNf(Ed~bN$v> 7:_ƿN8rf*GKk*n XF22===Gr#w5/ iA+S.XqE[cȮz*oB;[ۊ*RT5i ,f%+.ҮUCCIab1FINNY##{pTR}io֭xԁ? 3ͣ6 j?.hv|Mv9}Nƶv$Yx>IF~ny$H,x'a̒oI4=BXU Ϋ1ʗZVFcH|bfdÅ ͊Fq^k4{x(vп>:eP `E =S{Mmm%.lO>sy6;2TO (긎W"UWMg]  %_BRlR;R{Ij+{ U3$1z ۗY|7m1~RNZA \[: f/M/JەL>NۚHarmڌrю9o=V)!g.ƍQEmL(v7r m'|(7s/!Gn.rEL.O֪3Phn&w>sM4musk\{z 7jtxh*9'G*EZ'>I[{QHaW>gx*?ݍ[MfzܦWX┟GB=Y w]^"k:0hX' BS٧5ס >,k0x{eަOg֛65 B" ~EV4MU8V\&>]7(;M)N嬷KGmQa= { vؙ_<]̄y,Tar^tԜ(MO ;?}MgYZ5aeec57add5ec225e4fac465630c9e1a6f107ef91795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac f1810695f558cb51134bf4d86a21357b397120cec5cceb8d7537e28ae9c74abbe5145ca0cb65764c = Randomised_Social_Choice