SQLite format 3@ .  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 x=t\ T]S Randomised_Social_Choice:7zXZִF! &T4]ŗXf[&&SeIȜDuǪ iw.}TOG!Y>ϔg<57)f =\/4 ć%}xR2 d߉ʱ ] GA]eZx {CuN!E[Դ;q){>DIײ C|BrȶtMڝ N+QEn.|QI{nUZ[;,Bzi+^OP( 6Qik#vEx dO1)^!߆879g% 0$(Ed8/ʓZBg!H|nc;Щu!?۹ݨΜYNXx#ub!o:: &b296YUm1q #e\h = Randomised_Social_Choice  &v\0D]Ϲ(wNg9gGTgrR!W!km,K=Yx|9p$2RH8-!2jˈLzbF[WڸC]xhX^I5ђxc>LloEv D\m;+R_gb_rS%ST.M#f:]x:ia pw ttޒIB(ܐ{J}[d3cp7Pt ɛC#MZENa͊VvM9ɓ{$ilJ0Uw @8+N1n/ֳ[:jp2=ip-;քjDk+-3 )_W\~ p64l&73=" tz?5n? ;Avz9a_8Z9Z!&BBv~+ EUb>khGӁg"ےS!}x.6}@vDC0~E?[I?p["Y9hs5t`KR-/Lcm#fԡV,qL<gYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ƩyBggٶ>W출BAjzdzNઘc*J3{:Ln`ѾIFY|o(,ʑ m gRSZڻm=_mmAe /z9O ,}kh6M_ )A y{[I69y0 |*͂=!-rK˘Npx[1HnfƧ297í?5`(+;gLYyZ7^v:E r(AԿ&Z"kMj֗ ckkWC:MIj. *{̼Bf89[tD\¿'7Ǜ*H2$8@TC8! 걅$p{ V V ogYZ7zXZִF! u]ŗXi%B~B0MZ zHߐԫ& hPQ]z5ɴYPD OfHwrd ⢎M,5u0ZA˞=&K]`d+_ƌ!3uZB6A7@U60Q8^E$5LH ?6]f˕s`U. VEj'ʅeH{9F5_}o !0Ko@"ZflGC99icq~=X1{ciU2|+,G? @Ndda[)3(s3?Lp4 UEic"W`8ۚc.L 㣅ZLuC@$'[ =]^ / mZ B}#n܇;pw֯X8Ƿ+ї0~ p>F~NG4C^$ D2PJlB u_{h-p2l  1icxQl/Q!Lmw,<(1y,sWڛ9}Ȑsk*!~Ӵ%JM\s238T0K?='BXBeO e3_ juXuGk1a nG4jΘk:"/FVC;2c6 ?`0L橕fz~P[b# ux['x'Hjx8YUJ@ Q;UB ek!,ћgN>fJ0^64A5eJ f xuV#IǮGgK%d',@DgtU8:0Bw݀˟LCVyDxw$BL˗DڣXIЃ3 S=>?ڋb`;Ji<׺JڛSF&%{H=9~A:gunf2xp,m mXU`> s^, [" $$UzIT<Ói}`y'W{3uÄH)4_{F [ 5LvzwE<qTݶs. e:^[ "rA^.} S%[hlZSAGwJr> ,ReC4n+C5!$Z]?U(`+HoΟ=B8rɞdH:l!!q]uA\wUQ&C$G#田Y> zLq+QЃrG)kdn c QW {<oL|*@Vna,m/ޗʍ\>OZ{ˑQrjޜqQq«[*4wTHBAQ\Y07w,^F% !E0@a1ZK$6MX(5gCWåQT|``- |!HׯEF=Fzy -uOȷ>{*GyJ""9/NUb o+ eo2RqbZGm3tgޥ-̒;ǫ|#x{9! Vt-['m\v/l"uGq`X8*wv{c0W0^yi畏())̫.xuRHqlTM(џ\审{o%C"E\pLħ)@$7$ ;WgYZ5d26a01328f3e7b9039211614cd646f2d58bab673853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2 eff3c994bb1fdb08815e8dfdd79dd4546fcdedbf