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 EE8= tl| ]S]Randomised_Social_Choice:threads=4elapsed=17.842cpu=61.472gc=2.644factor=3.457zXZִF! (s]ŗXf[&&SeIȜDuǪ iw.}TOG!Y>ϔg<57)f =\/4St4j6'!\tKB J9\ # 5[ ȸqc- h& b_-gCGOmWPC2LRڮ@ 9Qg$h܃ɺ~YR6i8"y G4K., 1!iB+ XF 8=|%s?_AI`ir&TIBǀGUA95.6I(>ǜ=ӕC6 #jL^Yid;% *&4W-:{8kWmyǿI<3bF79]2ޣ^$4t{qɫ\[RX Ρ-o'߆&FGѮr{1t 0$exv$L!AOV5K  cmNɆ?snfJf:q8|4x2О۸ƵY)Dž} C#ll Gzc];RMTr-om' IFfC!6sʢz $B,-$!'t,ItXrESx.HǨ8w w&wV 5A-ʟa&Sg7(cSmMJH2Mj$z{ãiM7.hYLדλxnj!SC_r Z~@s 5SD5KWnqe7bwzwsJ#7@cE-PpKoW^']H?M Շ'Agcbm0e zQTgYZ7zXZִF! ow]ŗXi%B4IZjxqcCry~/j+ #p&K޻{2OsdpĨKV u6# vY(ZЁ8AHWK0~w뾪 !2pMJdeB:!@vJ,Qif`?]jQ3+ygEҩbj凾5Pr :RJ`:oԱkM|K(W03[AKklRw|;6nL zщ``ZzB1 J_MOinc~~bE A7Y{PVF+MncO”%CBrUxIfD 6F\Yj&ԍ8=,&x{kמf\)终%&BjuHx>OJ%feW.lѧg3 ?9G' {sʋ^y8YLvNʜ1)mPk!oփcib ~Ox)b.}Rw(tMh : [Mɢt?sFځ(L_Fwz\,uOCgFz82m"R+dJ~  dPgb=$, {3B!NP Zޗ#u*¯J$DmUa%/"N\Xos[[9_He޲ m"1Y&m< WF;ܚvu,DhRm:|ƪ ^GfaWtK^+иoӉ2pڭ0+}󣧶P6|ه@o춟)/UUBz"EԽh[XoӇ{cWj@WPʹ4V>LˆfQG}1&s!Gmd%{;Mj+7q_$L}}V@#Η$2k_* UAcW^J*6 `W"&  gYZf9557c1f62ae5a9e5b29c94f0e4d2812dfbc93bb9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 ca9a2d259ef46c754fa4025383c1d433633e8e2871f33d50287eb4f48e52557f8bded7f42b34c7b7 = Randomised_Social_Choice