SQLite format 3@ . BBh77otableisabelle_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 d= $4\ ]S]Randomised_Social_Choice:threads=2elapsed=20.562cpu=38.628gc=2.084factor=1.887zXZִF!  ]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀LI֞cĺ_&U=}! KW3]/ۉuO#PYmZGn#2 EqFt DR k¼ߊ<팅XPYΰؘDˤJ W6ck߳C slBRb`-Vmp#+^Jx5 Rր>i$UnDO鸓' >Kc+P[1Q'A*gs*= 7B ]Q)XNWI.-iJ(mXAL AU =XrepHMֳ 5Iu]`ohfWFZIb8y%w z}|.c]pf;qKC/1q 0jHj|3O)%kKulxF>b`&B.^ȭih. K|p> FŪ?;W- kӀG&#{+\`h©Zo;M]~ b-':eWkPɬ,0 0B>@[< Z Z̄=ZlAFu:jH" QC2Wb1\JgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸9\f"VM[" )?ٻjp&1h1tp)cطK9"2"YeUUz)~Ѧݙm{͠?,b鑮[ah5NYCF2i^z0ҏ_8\v`+^p6[nA1cbk9YiCpĵGqWAέhzBáj?C*CcgtNIAi/ Pzʴmml޻rvcDzЊmKtV#}{ɢVEsT/i/!iVVS*x @ *)gYZ7zXZִF! sk']ŗXi%ήu&H pEIo}tû)orTa.5Ǽ#;6R}|(/IJ6|A4aƔL+'"Z;w^LtGitE3JtfA9ѭq'ي+G8>t*ffI V#e)iRrMS$\ "e[hږhBe=\AG(V 0甬 1@ɳӺ>,pQ%:yp&R=/~mPÁ#V"#$,nOB@ӹR*y୓smߌT!< ZjR>-f]wB* QqI1Z2=J4*8 SyVv@ z@F\%$'>W3ζ i4UdFe Vo+d3-1 E ?N5l/(En-m2f…&H吁,[w yEI&S8GS;݅ZcݳMKZ&SwYM5DfzKyG3>Qf;3<\.3l]*Yz XڋM %-%?f0 FOQ޲,rVSt!nVt 埠yT-"F ?Y7a5y_tw;WgEJP$r+͐}:T[7'zZ3‘. 6•#ί_~z5 6gYZed256ecf63c6ec3d184a1ceb6d0a5259ea73dc9c00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 47d5f26d62bb0e2b689d2f2c5dc3f380edb8a6a4452910ed226823118b484dc4f3b0579e355fc44e = Randomised_Social_Choice