SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1= l| w]Randomised_Social_Choice:threads=2elapsed=22.708cpu=44.936gc=2.164factor=1.98 = Randomised_Social_Choice7zXZִF! z]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' o^KszIeʴOȧr>"z) H !f|X&?ӏVi^ӁMoVQ+rPs*Lpxzi3;1Mjl] NZ@2~7(ϙ3νkX6E+&5/7c2;9yc^ԏJ\PO@Mֈ{WtcO(U>yq:-\kI.c#S7хm3M0 PJPrUe.d5u]od#93P]D-Q o!?pb[U=`[û@,ˉziS/ISsVnM\e uvW2O5c ވ=r-9!JIAٰnmW!4FAY”·md7)Z'+NA<Z>FWwbÛS dO$ԋ] RJr,0 *HڪҫFr~ȲLo2Q bRf7"hBe\=L]llXx݇ a\.3 cmSN]4wO|mp<5>cmبRȁ1=RcT nToVR1(- W"X4}UMj J`?%(WPD+|DzX ;R1 YB n8-&/߼R!޸oÿNf{Hsa (*\DKZQ9.6a_j ]=P+vC?AF\ɻ HnaWi}ѫмrT V1fъ@xET㯝)IviI^ xK-y6칣 z5kYidRWŷ ."V$$Z{uj{tQrۇe~y蒹s҉3G3ܝQR(ߗIůl-NUvGuMw-i;NM ,.3=v*ќt}ecoTtr[62׈iB7]f~?$‹qgoY# 4kyR\ΥHO$Mљޕ'U\,R.m  ז3 xQE'N/o1< p۷ԏ[+E$sþfY5Y c0H„z{!~9*, ?ɺ9Nx+a Ȝ"Riek,Mzg6Yϓf.gA)D7P>0pN g6MSk9LQS P ~6p̻dJˇĀODjR^YrM>g!m;}F_sd!˲%#%<$WWU6}um *w-{6)#C7R@,mN8M;6"< O:]đk E['99)$sJu;[:-5>Ԭ K!6{EDzߜ3IAXFʒZA`q py9_:bP$2Xj j)k ~)RۢO22$ ߜa sL$<)<*Z|lH3VH'r9 @=-gm}LJT EB_lñoC{M Q8[Q>#60&)d"}wDeGs|aMoB d"8uƨ2cԯd'Ess\$Oc<[rX_{ $LMbذg| RAН ޤt1-$f4ve/5 n~f*ot D[)髅^8>xYϯkC>Bħ $S:et<)j QKt8}l!K7_i\ 8sQH.&%ne#o4եdy PSM,Tby9Na,I?w1H9q bNJ{bFo0I;ϭJ۔cĖlHZ6a/;)Gq{/oBTH~M͡\!O-Y[8,~\(?k=5Dzu}wcSTsȽ䳹B͝%~|5wMS\cAUǦ4S ӚWZ#AfZ֠2]O-#iQ,x LF%^~8@]@b{-5dmW77Ũ`w5]lukVpѣi!m@y57/'ʠpZi.I) > YN'ZHm -ϖ"3%S\aP' %gYZ7zXZִF! w]ŗXi%ֵZ<[I[EOqRUG~DPV0|mV|5r$Y $:/T/vzY@%/%Ј*f)HuF0w<זhk'؏/)jm%' 4OqE*:1VшaMsti1r' Fw% `M lX[yR`Sqen ;Qo3:נ,{Q3ޟ wP:Dnfdub6aX/cŰ%&~Y?dE~9~պ6 N DqK~ˎ]YP_u4̛,Ru8R"P^ 7ڰR&bpMr?0!β>X_|pR.gYM. 0u4_x $YH%hmj Ged{qvzn "MYLI,PW ȟ~>shFR{<\SAx g2Z @Σ 8Ms]ƚSfZkj^4}ʁ9uސgvםe0 /Uwfݓ~WSɋ Q~`*C_ yr%j/A %zQmnR`#SI6勵W{K}YUFf.AMy&H}x<3t%Ć? ͯZ[Qy 4Ц'kJ8tp`:IIMM Gb?' 8/ϱ&Ƌs8C%!:#fpA}T~B}/}w敥#Jh%v8ZY6ôRtu ^Lz 1ϠpS[mg8U`U?K>d{dDF]"%xEk5F/)QTo$θc'.KQ"!?Wkႊ|~ : XL TZϷ"^f z6sfZLs0U\CQ}t}OhFx=L xmob'ҰH,6exIA.a\AxeG5sd_ )|JВ $34xhN=>σm -݅ĝq٧ MX^J\ÛD(?hŸP08Itc YJy??\(bGiں㩁 gYZ0531d5ea434d09350b8ea7feefbcd056f9ef4921 162a03f9ba77a8b985c0c58729bedfc2c7715939 1ca818e948a83d5e5b725ebf2e24dd6eb9a183b0 24a4c0d756a19f4894fa71d4cf777215d91b1ff2 2ab8cfa02b0c96b40d4234da8de3f0f7ae159ebd 35010a574853beba4bcbb3d15edeb19614d92531 3c1000844c748794d317e5cd2ffe8facdb7e0043 57c46c16afc8c40e3d70b8d067a5674003ad8e5e 8372d4e449f903f6df0f6a057c44e3ecfae01ee6 848fd0b06231d030f6440b82602ab8e35dca8963 8a923f90c366f6daa3fdb8320f5c3ebdcf4ff2d2 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b3fe7936d51c2259485fbd38555285c046961e5d b73f08526174224911667da0557076ed2546ff28 bc82bcef145a04443890172632e469806918ed44 c094cc3918e06bf2244436d0da230a18cd39d1db ca62020d95745fe0a2efaee8f4614045985c1e83 ccc03f79494907bf148894d3eb8b1917f71a6175 cf65c4400e0fe09a706dd64ad2d8ef931609925a eb77dde38759c0ccc7c921830b9dbb3971eb1f03 f4a80814aef5f4826493920adb368f05323e001c f637f1420c1341996d35999b3a4cf255b5e7a2a407addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 7ce0db48f01026ebe144dff7adcf4aa7d9776819 76e5b0505ef9a5a5d35c1e026a9d587b42898811007bff672ae03da25a37046c7930cc0c67460d73