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 e+ 4 ]/ SenSocialChoice:threads=2elapsed=21.801cpu=37.152gc=1.128factor=1.707zXZִF!  ]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HhUJ fS{ 眺^X)۰H7ÉVr˝Ý$ԄEȬ[L.`/m;q6jy<0LƵ2; ju 61>VJއ-@;مfSyW}:`_mi'QE l>ᇢD_btrU*v|ZC#^\^<.BPagYZ7zXZִF! p9]ŗXi%9(SX kg5AC2MG5-5'9-׎ndP//C!gRWnݨ%hвȩTj5fو-\gs0q`FZK4 1e* kj4ˇo/^c钘Zf0Oûi!1boB#RAzN-}-d͗~6$򺹃dٶm u*L5as>gJ?Q;.=^or?NDv~?4Õ׿LX/T }pu(i[c!:S׳1,*p%[2Q^`Hr*o p)`a] NbQ>>F6$caN80 ;@{E`8;ϻk tB[;mVNA0%L'NeD[-3Xt\݉:bWMT( 2rօ;qAU / V-Ri@8#yuևa10V`JFH>/uϿc ^/no pxT,u0|%_&pD3N&=14|C2O(Mh!^sگzlWh#۰^=aĢLޮ$j*mt,ՓpDH#v3vGYkt3˥0,%r: ҬQ{V/>7yG_MQH_;Њ3)KCBGmdBaB>@؇XrJvW6hMPu o?Gz<ˆ*S?kf]gf6TӀX/.豠%@ Eqt4%WW< ,,DUuQU)&` $ ?cxpO>tFiګhT,cn| gYZee141eb3c0f39d610de8a1d75aa00c0a211f2c302722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea + SenSocialChoice