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 ==@= LTL ]S]Randomised_Social_Choice:threads=4elapsed=12.274cpu=45.980gc=1.860factor=3.757zXZִF! `]ŗXf[&&SeIȜDuǪ iw.}2 w2o9T#k$_#kqנS+z5`ta-&ޣ͵8X .u+9XW1wV$󗜱hIF&YfkV S:T[}|aQM&O%hXd;.%ːl0+C7"LecTA;nXLr ߫R{ޚ()#:UcD0&&q6oNiFYç5w=4I4^xH͆6F=(b]Pt`Ƹ IyQh0rP!mGɌ㳯E}W)ypah!/X+RdDdNzy8;r Ro: &nޥ%THbWfʹ&]g*sߪ"2u,R̗njV2D+-9z(Pܞ//ZM@d,xn@@w0YAtm|/hvM;2J^Z3YN;UnC+4p^ߴOi$z66vnz+$L+3G*CI*s"d]^00{!ЭFy0 cUYV'Z=JSU5>) `U $Cx~dc߶&U [/ꠝ /v_w;Iox%M{7eRgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸Əp>#3r-ae?*/Gm-/GՍ%ś\nTbWlW@Ygm&An$wBǺjL'Ns4S75ݿ ܀]D>\aZQCwsD8ݐWٵ*p,~^¡Dj#x?_QN␙O;XWhxмX\zj+ gdԪHLH Ҽ ePDmhH3+Fa_έ1{ŸƄ,Qq?o*@ _% 1}*P`x[@ZTm'?p5DUk9:dpP8p= q 5YgYZ7zXZִF! _]ŗXi%EbݕDd4ME&nh],N< usq:SòC /}e 1ND-=F ?ȋk;d]J\-P1e,h(Et,D_C(cUѧ@yhLa]`P:a΢,O)3Jޭ dQ ߕzAsoHZ?E6Ox]a_^3@pjΊIH/M qLݙb MbcX*4< #S:yҠ ~Ꮳ RQ᠑ZW%&ʠ]Kz\ݢe'CWEҭsk<|rn2@왨䀐kdti?] a{uмm.4+Az\]$ t9u)hU-|-\iSd-U^=3Q'pK} %ܘPQy<U;uI1⌕d\j(kWyXDWNEY\*Es ~4W>֔/m0{E&q#('4:`IuVmEx(){\0F'.R0p޷^V &vqJlG(N*87WFu2*jm~/a酁w'n( R;>a>Kpd -~cϫ1P5f' ZhQܪ*3#H$"yc(hhy}.uu _Ӆ.:t~<*҇(A [b-쒦dc 2mEѣX 6go:NX =yq~gv%#-UT@`t%'Qe.ە Mq$;9}0n @ LV aŻU QҰ=@Gہ"ț FM6gD`P쯰"򏕛ƃ.O!&^MrmW6iik1܂`;CU;T8W\Qr"-lp̭wVh,*< Ό,޲K}"=uЩC-+`"*GAY?:DH~R"#pߪm,̼#_``IP8.u~"lP ;مv̸HԺ]< ۻ!=#woT5⸛ep:%L MD.tS]1{eq񇵆K{:ij.ޗی\F/_T^_oe,ؽa~zW,N[6$8w4悕T=TIA>/ъNhR~k=HzSCt 8pz0djp09/<,Y ˉtw ?I _z{\ac&:QC!4Қ,Od+.Gn}`feO;OJ/Bj޸ukQIS_c|!X:@8.,5OxL:pc, 'е5@W7ɢSS$2U4pgsR  +H +<˺v;@َ"z9 8١gYZ62393b82ebafc88a502e0c94f8aeda3b12d87766eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 41e7fd7a751663d137b967ee5fba039f4734de37 bc339beb8a467750feaf070e8d3815fd9825b15b73c38c5896df259764998e24ccbd1ff3de4cf2ca = Randomised_Social_Choice