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 cc= Td w]Randomised_Social_Choice:threads=2elapsed=23.996cpu=44.432gc=2.284factor=1.857zXZִF! c]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p!{^i﮺ c@c|{xRX4t(֦J/4ߒ'Zw{S^Lzċ0ZlH쌝y.1dkH݄jFM#Ƹށ^!$pZ3h赺N E% @T.Wo&ć|TH*-Bx㩏Ƞ&(0oc.9R5/Xz͂oAKwـ _P~(M[Jd3PA5FPj.?obSҳU(`C>p(u홍n/pQ ^WfZ.'U8Kn !궈px>`$O$Aml˛s  tiȀ!>!f˚!VDl!FqY!b`Zr6s<6} Z{h!vhU]􆰘"!5_2n "Y;\G6{U$o誎U%cE<‚܍G}du3z~4iS@QـYL~3 ֟Jl (0)m7Z=#M}gYZ7zXZִF! |]ŗXi%nJ &2f#׳!>1)7>*(}qlOfX|Єer0MH[@/N]\y[DG?}ƣczNN΄CO{vf*nef,ƅ\Hؚ!4@_P?Q7p&,O,MNm^GY҃ۓ5hckK{ gʴf3-|H=UD&BUwn*[{iSԣgpVK2u. )!pr^K*h`{1vfЄ߷أ=+] Ǚ!$E_TQNNz:5r01>wuRL+慒?uBkFpEs{`L;)RD4AqF뉒Bt;'r!_9~~0~g>< #r y_~s_VRIVBrn!a[`` p=|،KR8ʚUmK*\& Q} _x^H+Vݿl*%v>`G9q-U[@d$wQx-#jAv=cbZD9>ORyjxQGUc2nV!3. i kPe֍JC 5Ǣ}.4yr>r'K[sIkw4hwrg@6nnUJcUBu|fkVf'_Uܤf)%M/ 9y0ks(MI}_W“X'f/NBY3fL_