SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 p=  ]w]Randomised_Social_Choice:threads=2elapsed=24.944cpu=46.616gc=2.116factor=1.877zXZִF! H]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀8Y_%=(V3.Á>N5{sv 4cIX\۬g6F}TV\AAx [97 {i(Z+XYkFr1^iH}[gni-h>G $HNEF^#&"Hq(DگҨ &`9j'~؎ұ.jVfypiPiitM =ḿBؖ(u"dk?wW^,>^vͶxRXzgU/I ӈBT(jHh#?Aܤ/pShzb`M5:̕Ԁ3\>t-0”(9%GuN#(K;6kl'[2TgmǍu,.%ՙ7X1COV!Oe%Q=Z*I=-qCq'!Cw:X f5+ H)VEvWdc SAqHkpϜ~Z=ԐU)6jLG,*4I8,f׍ԢFwX[Q'ӍFSw;!BwӇ2*3j_^K㬃 T"f7" 0[0ͦHG \#J1LwP# d?{dNʼw|3PULE:/,(j}U"; >5pMgYZ7zXZִF! ]ŗXi%60hZ+HJr;j8 BM'Sz!:={{iyjߕA0xysV9t=~>%6~8s~dH3TiXBTeJRMI8TH˶B)!l8bq8㊾)ϕYA,,;e&i@/Ew,d]=ME$$#7"4l]oiliSk=&_hz k{rS6bLwM5d$}ifV3bĈ spYZ[(W! > #:rXMȱѿgC8aN$LuB1]3nsѢ1&^ZyD PwMu3?0%D`ݜwF~[g(opO {Y*aZWɥM?7S(p>+UD3y~8uo/oLj0JG{@t& 9zē_% (i)w:t6MZH%_g:B\ȷ9nout҄__R?Iq W4ЌI]8{忠$t;Хa{Ʀ][Ϲj5rA }4Tm2*eah~<"ީR?BQBHTNq:_E3R8y' aQ:yKWF $uCѠ*e*b!a񋽋_kyzfˍw-x!6 ~ؔ) Fj̠hBҾL!EAH61۝cGi318GR{$*{H1`}|>tU5l^/|0Ê$DiK!ʢ)L91vy49~abX 8bǑT'mMKx8 忚~$3몥g KyWj{>;F`C* Nsd11tZڽfICEU"<+j<[z嫇3e߻W`cˎ>:B}''G hO/@Q"_뷄&;X#X\xT _|`ӹX߀eL:セ>=O梾CB|S.xeJ2q9x?e&d,5KoZrM >s4 ey>^Ӥ )J`گ6;>$fGCJh32xb"_bOEa=;RȊ6`vxөXG\}n/͇Auvߍկ6U} J_ԳRc+=cFFgHwW,_NeNSΔ | RPd>okVx]˄oR]WĵnYf{\嵃H*xI d;ks9fKBN8/ϟ86jLak4َu/lxQBkWՄa%#m'L&35Jc|v?g:X~"aFD9 kgYZ097f32f1420030c47c4c385b895d170602338944e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 50dae0a1e57500b43a88785cc6cc74498158411e d0e1d955a726151afa27f2b08ce6ac9b935ae1b35b0cab0cc78a764aa198b186ab021b0c2c1ed9c3 = Randomised_Social_Choice