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 GG6= T w]Randomised_Social_Choice:threads=2elapsed=24.320cpu=45.020gc=2.316factor=1.857zXZִF! d]ŗXf1-/6vRZڕ/0*]=D(1|Znw* >eJ⟤%е{Kn{5^/FJ - 3a dVRyPNk1GNnDݱJ#o:{i8efJ >Ʀ)uK=дxSyښx= ?d,4T+Hع 0 e[:GWvl"7 oH2 /űh.'N ڡX .[KRj "`VJ.~'z3kFd|ĸw"bex?\ge3J3˱A'H5 :^k P&J uuPѱ}jCp{қٻ!5gPJH[oy 62qPq6Kc8]kB\2Bå,"b1!Dծg%YQ5 u4j+. -m3j5Vh|qqTj;  bAQDu?wYjBxINփ{$U[(1T %/ x0bIE~OCF25 4,Q05[aۆO_(STax[{F D,!YJWt‰Y?h V#a9`qF^_nD829xJ :?[ ,?TsUuzQaH`n@D&EW^sa4 (P&ѨQ ZteFh<=UcgYZ7zXZִF! ]ŗXi%xހxqlϖ@n3=SK+GuO4i{ O\R×Ut7KplTt;'4cϺBmw80^=ͤh_KMԓ izŎN}NbbgWߔnNiY\iTW/sM! ՄVuaW{҂笺3.k<2vDzt~1uKFpf0%|4skd푀D&qT{p"Y*3#4t^ge -K@@(rj{ښ.e:!6` y ]Bf9>n\+5_ C8krRC<!z!TӺ>Y/v3e[.˖(%7&$+~)` $$6 ,$;Tty󢗹Gx`/+fh $Iۓ+.QK'<Ƌ[io7p+h!ga8zތ . U؊ ?&>>U]5B=l~it}/N2ѹΒrՌo aY.r8%z\}φSӅ򬪋h^B9R\ ngYZ0531d5ea434d09350b8ea7feefbcd056f9ef4921 162a03f9ba77a8b985c0c58729bedfc2c7715939 1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0 24a4c0d756a19f4894fa71d4cf777215d91b1ff2 2ab8cfa02b0c96b40d4234da8de3f0f7ae159ebd 35010a574853beba4bcbb3d15edeb19614d92531 3c1000844c748794d317e5cd2ffe8facdb7e0043 57c46c16afc8c40e3d70b8d067a5674003ad8e5e 8372d4e449f903f6df0f6a057c44e3ecfae01ee6 848fd0b06231d030f6440b82602ab8e35dca8963 8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b3fe7936d51c2259485fbd38555285c046961e5d b73f08526174224911667da0557076ed2546ff28 bc82bcef145a04443890172632e469806918ed44 be34fdb429440bce88638254daf610449e7c5663 c094cc3918e06bf2244436d0da230a18cd39d1db ca62020d95745fe0a2efaee8f4614045985c1e83 cf65c4400e0fe09a706dd64ad2d8ef931609925a eb77dde38759c0ccc7c921830b9dbb3971eb1f03 f4a80814aef5f4826493920adb368f05323e001c f637f1420c1341996d35999b3a4cf255b5e7a2a40ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 9892b8c98839f05f8dc4bd94c38dc5ba0954a8ff552b046e4c5680292c6a3d95f4b4060580eee885 = Randomised_Social_Choice