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= l<, ]S]Randomised_Social_Choice:threads=2elapsed=21.084cpu=40.176gc=2.616factor=1.917zXZִF! ]ŗXf[&!9sA~2jP;QJeub dmW.LӴ sEhr-'J^4?No:Y3'Qʼnj%.zyAfM #]-2L攌1"OtvW_H26ɚXp8]= i"??x%ȫc`"O_C0RW܁eV`g=y^!Ǎ*uMXҩ[ "*$dzO{s 7nT-^HNoԖ+/2GV&ؾMId ͛GȂkg Aa`Uq=:8j}yDyйc"{ @p} WJČN͝Yzƭ5kCxFl CgcNtݶ@1EE⹈htz& mّ|Q&x3^H> }?jbT* ձ*>İh X8דp&v nͱDpz֜h e7.1drEK'wl*uE.6zzǹZat-Zd=̛7(FGyr[Jr$#e=b\Autxғ5@լGB3E~ҟj3Ϋy31ZF$-˱DgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ơzj{7QA !LXf |Ҁ+Fdzg^EqtTGP]אP<$kzwnU2C` sg d,Z".tS21Z?UJ!W}NE qc8q?ٲ%q\awP(+zX&R@5^3'ЀAQAoxYyO%vxgq]VuȔ4~GUQ4ØGW8l )َ0a&T+ Dtw8#3 o h1scRt2 3,q>%H;3hqXkk qyt£Dm m30ڜ\ f;/l_dkq~E~eY M>IDEG??W iZ:P7Gz7k.qA0++r4KIVhe,ٹev#)]fz?V@{Q&v!d,4X5<>fl%L([}ć=>٥cbtڈ lI&pDU;戮.уgMʡnn ͞No&[y7aR>+dGꚕwVF`{*+l8`vCog6 'DIY^‼ki)dikAdWOQiV/Dj s{׫o[C_)gبT0'`ۻ#XIKO.v@Sl)/Thq#:bpV#%4[jkGNz[ :PB-K+&:.ӟ"8*m]f',r4 zXJھ"4=Y U^  ."s`t[?|-.0 薹dFxK[/B^|x.Ž~4\{+b-AozORs^pfs(JcT(|~_&}{H+QPK]9\&i>?4nƼ |؇j]!Mk !-fYBUcH0*x-l O75pesu/܆JHtpS1u ՗Ust[R%@"agAZ! PYwxgYZ7d78461d54d6be690dadcfdca19eeba5291f84070779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 852d296003c04e671a83d70a8dd68d2c8ee31ee3e05955d1aab5d5865e023f60b564e4f34c7291a3 = Randomised_Social_Choice