SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 <<A+ t,T ]/ SenSocialChoice:threads=4elapsed=15.973cpu=44.208gc=0.568factor=2.777zXZִF! 4]ŗXf[&QpJa5bi\0/ n~@m \<&.U LǸRNNRv_C$%K8/F[Ƶ@C:tzaFfpCo< 1iAk&@;9 a!Zc(Fkѵ0w'(4EbN5tWBGa1ĹE:aP,#B9rP|ћ78?.Jf+XЌ-*s;W1;sMWD&Ԋ eyY6v}Y-yTQIuW%Uz坂 k& ,Hqz y!'wҙ)'H1 nEḿ)tr혠LOH OL%W49E@#PE}НB?rso դb҇/`~i{bl7Q DN3 9^ͧqCDv[}4ѹb.P'M]r- 4)|B0߀O1U':ӬgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdf>(KD/o@15(QĨΙ9"vO³GR /OWHˀKLԨVfo<88oX-+(=ֵ_gYZ7zXZִF! ula]ŗXi%B:g~^H)_9U,_6x(uCun ܻ.9GDP?~" rʧE2b#h·qAbA#Jd71*xv6liXJ@R jlN>EX,.pEtcc++}^:iu~#4)c4VA\n KgH7u4U #g.8DqǦ``=f)i?6W)q¯EgBPsSV_ՄkGCwk^,;fx-p+Hu4ʇ#;OK{@ b(u0,.RAu?~ܺ@ y+*1ϛF?*oGbS oHb bh ' [2!zmÂuMOOe6nDPX٧[kӦfEl}l-G]2h lC?RLȫ8xdvPlԴӳ hMţ%E3唢؝QCtbΦoɒ(4>^USKzq׺!>3l|LAn&nDzΦ띱N`Tܖ4 b-HĤa|͆AvrxӅQ8ݯtwךGSeY(ИرV6rήL Vf; @N\T"a]/Bӕg ivq2Nr: :Hs_$JCVܭ5AWwk Ue-[cXNzv^E:n-7;x3CpAb%+kKЎmQ/H!  w.8$h.y ?cF[\'84H!6z` [ON}Xgv ww[ڛ^e5p\̸>eZ=k;6]R Ub@.$B?HO/y{ve hC FꦕYe;~L9-VD!XVn_2}))5N-=$PH(TcAQ&)=s&}٬Xx?!6-ǰڕVẄ́p}g|ru&U)=ҴBA<|`4nQ=).j o*أAXxcu7>}(L>GHkMvny4ZDbj.n+j1,\A4Tߘla/T5Něβ3`T=؀i|+jWZa6?. 62jO5#oG"- _CuɶE:\P cLO,@Z@yv~v6iߢu4Dl6TCGCk]|+3 R~C~+t|PvqrW!%=K݉Q& 6?T-p-nh`ZmC:Y)[AiSG"-3]D[,旁^8.̅"V W^& ! 7w&J>E Վ2H:9Zpr;IiM.uj0}S%5ήU9Ǭznu(Ԧ=FI?b~‹#,0eI9GHptXLgYZbdc44ac12408c604f22a37c1d45617c80e70a82813f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 + SenSocialChoice