SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 II4= 4TL ]S]Randomised_Social_Choice:threads=4elapsed=13.854cpu=51.368gc=1.904factor=3.717zXZִF! ]ŗXf[&&SeIȜDuǪ iw.}2 w2o9T#k$_#kqנS+z5`ta-Knr$ 710j ZQ}f6Ӏ+ VvyIQSDkN$ RKOM apec[Q4s[3q8)TH(p$V>0}ykN3)]=騳T> t+ kPϦ"QuhF|?<\T7KNu-z&X.H<3`\+;Bw)CSz$hGhmD~9'CF|%d&-cUKQkP/B|,.▆bWS18Nkf\+ qZ\966`ds {q$+Pn.c.Mt^&m6 st#Qi/U]hVTTFyBOr ϷKL}VbFڑ`)#ն15Aב?-괔KW[^̆wPPuS]6Nyvi{]:9Pr+3%qFbC'PB,!@ј4ޢ*@RfPiJ*P ʭ[{;fɽ[9SU9ivWTˈqu/%4/6=Xb'xQ0͵<8b{Q1Vazk )%a?M^᳄=!S?͎E=MpgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ƔDV3xppƓK1i ^l9lߟSȭ=j}YSy ԗ=^z2$Mq[hB&.I2+SF#OmԨQ A~'}8[H}Y~"Z"P5YSwE JQ%MDŽa AXy$a]ʼniIww%_bW*SMtJ#yqGu`K m@{Ue{>hZ4WB2:e}*?AO<ї$J:lER)M`3gبPў`!8 u_!-wXp] nb1m[ fGvBgYZ7zXZִF! o`]ŗXi%L X ypT! {ۜ7x04;"JH TTU/_4Zp8[N-5h4!/܈^D3=|kwl0+KցlpvkZ1sݖF61JŠ3l+p5Hu\!;CUg^ޒWeIjs (}y$JN2* U3UqP,fVC1X\YA9yJ,%36?Kb1GxoRm&}.ғbaBռUϴ L[6n8qG0 MXMhBpu3JL>8KfgTai}$佧+? )x%HS-"rRIN3{\Cl֯h2\.B\u[(pCuEUgþkq;ۿoydaOϹYJj azv a-T h,d(J*øX)s*Q~Sbzyrrn3zeX ]jQܴRᘕTceY3OCY>Q>[Xw竱_зhIk:` Om|-n!F}_ECDPb*řSMIPJfkWϼnLp+z ^Hپ>IpƺT: dC-{P7D[밆d5pi?WШe,:>18>r;JsEʡ AJ ђ^_JY9jz)e|x >ܻ@7-lSpCT|d)hf6kG+sKqhEϥadt wNa2)hdi5t{{SBv~'AI_.U@s( DVBE<T SIAY|SrQi DK\@ DxaW1+hĵo/Kf$8gCoiH>noKZI> 令)M_GΏA}YU3X]LߋalI_4 _oI{('4HCbC)l:n'gr_ڰcm dMB*.<ւasPQlH;,hג,Tϼ~HTc:n?X6hPxXP( M6Ƈ$1bs.첻{1ߺT;p=/)SHʺHvx=X`+VfJD$>lu|'IjcC,hWYnCPR-|+X$tZykiu?B١<_wځoJ 0VYEM~@0.߁Fp!T+蒷>mo8,7Q43E@0`#Uld/M-sl=X"oA:A/ y^M1t[jS4$4aбgYZ00142c44bc8a9da25f1de99b7dd92b70b6714a53d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 8552347310803099605dadb02749f6e002aaccc1f052de932b1fd6ca7c7dc9352d10afe9c6698eee = Randomised_Social_Choice