SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 }}= t<< ]S]Randomised_Social_Choice:threads=2elapsed=20.718cpu=39.196gc=2.176factor=1.897zXZִF! ]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SQ鿒=P:~x;&H_\@:g8ùrj(|@J+_BӞ.W/M,<8Sk0S~1?eTs\{OLz샼wi4$`rYRp]. ;v~nI\w)ӛr0S%ZyLw<rߺE3*K-Mh"$Ks4N' t.?|0[[,7?H##uOp<Ҏ#7yzԭANMMȤ$R,>*&k5iZ=U4 JNCT:g"Xڂ!bM)B Ҭ.CƦ{?UqOX'Mm(@fJf:q8|4x2О۸ƥjP Cۙ]gTZKV-pf4\K3.,8thA {|']Eaad&p57^_߹,g6]e%F2i;d`I6~!.9}%X_[ecȮy_M<nSdyYQRT1M Ń\e@:`*f4)A\ca ft Ze2`<6 rI@gYZ7zXZִF! x]ŗXi%>g^3fצ~*LI$dH̅54ڪ {XCBg@qsvš)ms1F'ŌnSt%zZI,צ 6o'i-/1c-,/n*X(,Rbw<#3V#k BxSrǦfZnlDt3\\4Y~D-%Ԯw{- #@s !Șܬ=&( D-B*r M`*lzs k494mu7%xVZS0g經1W{gʤ΅j J+u~6W+1ƀ{{I֎JI»D-9p;ĂAkQ%xL=4GzS8OEX)'~A0ޯ“+)9B 2 Xe%d>BmAc+vdMגm#$D-.>D]|jϨר^pv|gj^'lRR2BW666GRT1|E%-K9*JDu?~XV]"Bk_bBjijOUvU3*đȤ.0wkAP.v ^m]ɜ4h 42qNr,M Tqa\f]gZp8"V#Sz|ҁyא/+ʻ~l$2+B˖!F֎oxCƿVNcU-ЁK;%B( rZgCNPЧ!؉R@I"J+B Su-`1ϭr,<>a ŵbz4kܭ0|eZΠ;ERdC* G[k 6PGqIwv޹!1u(t5kWżA{ Ip2e}&=% ;[,ZhoT'a! e[KX]U 3| .aQ M޽o13H `i~[}7J&4Lnl%|.Z/9 pS+ZRM@"S_Ee7q)ڔw hC&>kcrJ,VA˯w 4橵UrE֦\+~6g\%LlkfWIlv2yݹ4'(͉E  ogYZd3ce3a7b25b069aab2c24e78ef93ff9e6af760f397833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 28c701d29bb3453132b1214a9015bfc334954436 c0f58ff04c8ccb049e2f45065f357621bd96152c8512bfc657152e8e7327831be47b699e36075f82 = Randomised_Social_Choice