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 hh+ L,$ ]/ SenSocialChoice:threads=2elapsed=22.000cpu=37.112gc=0.856factor=1.697zXZִF! ~ ]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HozsxA< h$Y^2)ɘLgIaPۄ=ib ^qm1me/oƙ^kQʧyLBSkIVc̫Xߋm)y Ͻ ~ڞ4I'xsKK6XH\.>D2@e%bu$[4GGdY3甃)3)Mz fYb Xjϔ& vu~h Ĉvrm5H1V˒sOW5 ਿ8ýD@4zU׬r2OcG"@)@ٚ$/^E1M JZFt aq,3|v>?C%  Ԙר.6d|QF>AxvNIm:7_r/4F.'V?MN!ep?V"e ga|[ B:fHfu:GW$2_m *'|YX_" ʱCCn>v@Ep|Az]sK?ۧ,O`+SL wZ[ވ _҈8.bQb61jXU4D=uaAۣl{J,=d؀wόXQX0O_Q3DQt3|/dn{x  ݛj}H60U'-ZSIcfPkJr:E'6rgfp_FaQ.) ^LH}Hwt_s =LgYZ1e8d547617ea9b601d4e75817baaab4a5edffffa79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 + SenSocialChoice