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 = l\T ]S]Randomised_Social_Choice:threads=4elapsed=14.573cpu=54.656gc=1.948factor=3.757zXZִF! #]ŗXf[&&SeIȜDuǪ iw.}2 w2o9T#k$_#kqנS+z5`ta-Xzdã).­" DApnM0`@}Z]bbaBwTеT +JoxjA$2MA>EGd.rO8=:ĖG,mPhOjѠx(^^G~1mr쭋AOA0_g${G+E3n0' T6pMV6[(}̶&`BTX4m\9uLqJ> ph;M5y'Jdh!EaYT,A!![7UOaIbHNhumظ$1_w DђoQѽѿ>y}b;sfF+&sll+luс_{oj?N  _8F̰=WoIUJ -peARlĪ_Ba˃bvl@dG#/RTbUL^Sx/̓ vT|_7 pQRp!],3;ٽiF.f8_*V䑦46k[:#o5a=<xA36RdEYjFJl(+qPƳMR`c%tXlȅb̖nۈilS)(e!p4;RPB@3D4w͑rsىtM3:V%;ϙ\ j"d зq)d7rR]0}Y'Jϝǟ ~tȋ GAoKACg_3VmO)TuIŚAbM,fLJ5·9f8~VeG%! :`PیF gYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ƏS {" $b;k,$z./9) ق$QZ12aUhۏƹ >n.oj$MweM[v=`|=dXWRJ1;o?00p(zHF1dp3#? DRCg2> ;ҙ _@P$PؓD {,SbRUI`]M&r^ь:[RlAWw/„5wc^N)S oң xUi!8RJYD2ӣKj|1~Y+|kWѡEK/oGNܝea&6D̂.փGȂ.zL&{/ ܊>gYZ7zXZִF! ob]ŗXi%GEأGjٸ\C}bW{DKk +/zUB q!Ts|Kxw{ށٌ_ v4ͭm[Z%\ob<;'mt:LZt s.|h^gr \ѺLҧF8{0A3Mt5և!GQ;@C-<.c}(w;q_3%ee2m%$k'`mrB;^@b\k<Y9!!R0DAˇoIu4!JFiVSn/j= e>{^I¸q/)iW:`8J 70E ܂]I6%γa;[ :d}wmSfWJ ZDMdy,VWd/Cp~gOe6`l%>fh;>sFzĶhBC9le='!7靃=cQKR(>\|< Zⓩ`ɌՓ$k6K8$)*g VW%ֲo]_R.9kCQ)e+M$ؒe a\ IuV%Aglڎ&M 2,\>}P}m. xat/e`B"ljv0LbK\d!dR wO?0OKp e(?&3B|_?~t M'`zv7 ~W=8rVz7GM7׳DҰsHrPB.eeH3\r%_8V{zBp28w$vNf/ E-J>mʸ?0r8dB!r Zcn},G+i4Pf˃nO?]R'Psɝj6j4]Ll{5>6nG!ON6t3RwKT_?^6I9|#_҂d\  _ /DtL+ :(˥\w7߽<-"S8V!ֻ3.4BB- !7cω(Y*N eIGnV}xT6 5PAx6IA)γMDHl;UI@ՇDA5ʽw/tvW+J gziDJ0yuġQ/|kU\ np~f: avS(HFA_CGC0S) ./?G΁b-y߇_ -$>%0g\d\٨q( 3 ȴ,!l!zBП(?6ar.B~ajܾ'>ݖrItw~G{==d`ǷPfopTf cs֬iRQ-*i -H,yc)kGvm}[8!Hv |sű[O1E3tIoۻKFc ?,bLA`вeunנܛ|a%]ldFjjG4|ufo=+nq7>s ޫ ceڣaAӝ!ogYZ3d75646295257ac2642b78a7b38b19d1f62807f578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065 3612cbfa017752b1949cf1093f96ecc316e9774be1a6da5ae844da861dda48648f64b2e440c39450 = Randomised_Social_Choice