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 ]] = 4T$ ]S]Randomised_Social_Choice:threads=4elapsed=13.587cpu=50.008gc=1.960factor=3.687zXZִF! !a]ŗXf[&&SeIȜDuǪ iw.}2 w2o9T#k$_#kqנS+z5`ta-yêaazK,zǟ6j6~ Dϟ1C 73vD\!7hh6cb* 4R)/~]2pLl#XOTm<嘔ր<9Yǰk@(CXu.G[\BѴ}ĵ/sŸc1F,Յp~Py;jE>l@Rw/sz3e6s8D/+in0`+l\fT}NJ&GQ54+7ĖXc!όN.8!*U4(frkR$[V[JsS(5+۳ o@mC( =Э;⪖/qJ`ݿۓ{c<19}7Ll^afB}۲¢LQ24wL#wVNF_P%b%L# [I+<2}C^[Vi,~s>/XZ9U Z"[P 8S뽷ol5CxF^/vA3C]WFw[h|8<HAc f}$/+{F55G-戦)֦0% }a7ZjڽY} TvqbQ5KW_&b-%.!ќsbxK4S\ojazC\PF `ΠFtҳqx^-\'UJ^;;oәGB"SRgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸Ɲ1^m)HN&kor5̐l` v~zX7 S1mVB"竌J H)#+=.N̝ #pUU8z%Mϝ`w6.gcucHTiI6)~T}6"#lj.l',XőB`LEa|0"R0V2/^P,|[!%OjʄeҰ:< (ٵ l-<>Q7H1 c]/7ח".& lZ?Ɠ455~Р >eu8)c?KŨކԧD:sNl v٭;Ef2+dg_ mgYZ7zXZִF! m ]ŗXi%G> 9:M;2$5irr8"3UP@ks y[" QUiHvǴd,4/tQv&|ۑC2jDm "L05jͿ΂Ax pUlZ rM~#.?/y XuE3QXDU8@B2 OkſU=Tc?S.¡|1<48ODdk% ֈa]]F;U+}[k/~tX{4&O.}4m(3q`K6!tQRMǗ0CYQ(jԑGD 8Ł%Bٌ^rPCΣdbH΢VmQt % #DF ̽X$ؔQ?D%6ZCCvBMpɈrß^p٤@TDŽ`+a+M{5NhƢ 拀!OK`5"y#~NL&>zwڲ2橺Xey֬ 8ku ^NHb ХC<`±OV//cdў8y˚Caؤ`@YO/Rc,UwM=-b{nȃZOT4 Tpx,5&ΪC=~#<*JG@y) TNwovBVPۧK?•e+b~_qbZgB##:ŬS?pP-89V?#q|ʵe $̘^V2$'H`^G3]&~S<%-;=m>x[=BEN)em- c&ÐT[1s"u+ϾhT#D{Wֳl+%) |0a76+Ӹg66Ɓg=C7Iq[+L;)/ ]X@@ցfF{]~ FܵSa@/Rݿ}T|'U-BMJsӾ{Kˊ!ߐGoJN5Ԩ!6U0ES:2FcI#jpl5^oRoikp7_ d `YLN㬱y?a@+xˌ`g̣)]i6*PɞCF!{dp٤ ^/Dt6ptVإ v ЬsHiXRlc'oh_W|W\-1? wXU%f5ԚNW) xCx]#}5!M2ˏMx̸ ZM_܎"Lca! ,"S"72S bYҍu2 @6˂gை0t{(_:`.Q?CafFKa H;܇&s}GDQ@SdH<gYZb31ebadce584b6d163e5eff793aa5a82f21b9e5f4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 db934fa6b5a7fb14b203060356e55ad25419f6d45089a886bd2e955e284c4461c064c45507288402 = Randomised_Social_Choice