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  = 4<< ]S]Randomised_Social_Choice:threads=2elapsed=20.554cpu=38.848gc=2.060factor=1.897zXZִF! ]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SQ)[߂VhtfS'O)էYV/pEaa!}ϋVl)-tH{bCnaS.~UOًD6I3>>)ԩ, Ob|m Qc^j-|*( =XX$U-S';ԅ&ůpDa"+x[r=ЉdS dfJf:q8|4x2О۸ơzj\ʝF=B+2ZG)/ݙxK 3ʝ[l&h =2mFPtiXHN,2y:-("a0-ȚklI\FuAW.5} ] #' %IFU/,UN}&ywomFf\}ă+QsQOw@IZ23cLt\,HY/C7&^f[h&ߔE+98OpLpTun^{EekBׁ^KXxL%@vu8ׄIh`4qsEl( Dz=gWJ`a rI@gYZ7zXZִF! v=]ŗXi%>gI/1 . ;H.I)'ݬd/īߧWr~X9sKf͎pÝSe Srd2'М'`z n͟w4Adѩl B ]ÂpX06b\?ZʩQк?Q3Qk*љKSYhVRl%OWE} AUifBlL4w|e?I~z'mF2q(=NjM뱤pwc8*gGX>W3W&Zq%MՖ]_޾48%ذX9l*#R y-#V8Lğ\_I94 ({v {IU$1b ML"#f#? ԈYh> <,0< j\ި9 搌Y.Ol>+(FК6CAg i7b`o3߀s ޤD_$l#[WqXƃ=)'o 4.}OfF86S'Xӳj ;&%+a h ^$,կeyN1k`^d?vw]9=)O ٨pAQK͏Ϫ*.n iV7݀a@$?gSxi̓RPY V%1R6~X и b<5B0\ g+`,֊ʥqƞitSM4<Od g3jG ~d ? X߃\ wnHw7aN ]m=0R+zx(^)Wk`W/0=\m1\ꅪΞ:vh5y`%LLy-e0z.,4*Hc%P?U~${tj^x`L9dP~4|`6 m?l4@ӲR]HcnSTf:bf7ER9'4/` PgYZ930a33f69ae02b8324247eaa83ea89d36a09a212665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 2369b8ce4e84580554195548d17ce55ba9cff784 6287b454d7db781d7a850744573e8a503c49bc9d67d6dac5e68534d9c573c61c138d42b6253c0e3f = Randomised_Social_Choice