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| ]S]Randomised_Social_Choice:threads=2elapsed=22.314cpu=41.936gc=2.280factor=1.887zXZִF! <]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀jv/!ٽ[`T]J Q|7 у )oQkZC$IPτHȆ2rY}vb Ēwg{ؕFj6 HK1T|fe^d.p?#l;SOc 0Xn6 r4IkVQթT5'3Jf`ɩuɕr_#0W9@gɥMI̸'xHkbEp*  9*ܤ pㆊP=e_DC_ߗ6Pϊf&rV8XV\3jU"m3kZ"?Y*H'4V)+볞1f-& Ucb`.;詾ǥ5AgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ONJbxBiR$Ȱ_7w^=M}/7-OvT>ژ&X " y :tDPM @a'1aݢfiSwqZď9-Jo^_ (.Ahxw+ z~ %Ou{avMDҾIn8ϯ_S@1X֊ y5YVKs0v+<35OĄiEW-f} 9ca{}ӌQa$'5o(w:$3W#A_xBe5լF|F^ 1UI&8MADoD23c.r惚}IֆP^֫ű(0?JE]A,FQl ׼U72H*e${pMYk/5a#k6xB-kuK+K~Yɹ(Y P'b> 2#3$dJkj@aԩPG +G]FI,Po"iTg*#hJ3kWF(,;^Bu@>USQطTD^V/+t9H" =Ju &p;rs43ϵZ}Tqۏl\w;kxƊI<<*:w:/3\,k޳1Ai_| En##S."PTwI()Ֆx$ʩkM;fSpFLtOPJX-n)TF:@!wWǭ)暥iOԧ|w.9.ma9>[16>xiގ@7`'dVrE/jz<$|3 /8:XJFжxq5 IdS?̖(`9J׼p9UR&A$G+hMi(I#&M~{5\s; oe ?U@B'mz`AlvSj鰽h=6Cɵ-Srho.2 _x&4&if 7jEG6şF}r]t ݏa8]L(m\:yNt?+ D'cHgX?P\HTbG$ض;VLf?`ZU=We46DgPD`BU^I(5&+Ԁkۅ, ]FűIM)|;9:q*2ޑ[a4@,}ӮjB #R"$*0E$pT?j qǭwwIRz=4\v؇IpU-HA/繳m6 ÂÆ$Yo "q"Qc B}W#իQX}ܲHgh[\$ҿpcBx&dXoEw њb {|ƞ8ݒU6)h@H gYZade7e8ad7c990c01b4ff1eea1e1d7084fdeb59238ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 058f9ae2f545853b9ac66d3443f26d23073423d93b55858d967b6089609815dc2a2c0bad7178ef8e = Randomised_Social_Choice