SQLite format 3@ .;  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 ll+ d, ]/ SenSocialChoice:threads=4elapsed=15.449cpu=42.876gc=0.880factor=2.787zXZִF! ,]ŗXf[&QpJa5bi\0/ n~@m \<&.g~KgOzl+J>Q4[5nXW. WvY}nnt5KTɴpzqfs﬑"gS><ù!vPw]879b7{gr4%yqH<\+픶fa4eT_V|'SBqcPs.:|*ZbYPbL5%Q} yg:o6@MuX>u`m` wpr7yd_H *2 zG š8 xO(%[*-?63Elb4#2*S uBO-q蛲YNp2=Rdhe\{`d'̆-q1ai/X*{jyAyo`:Un8¸IA z9xH `(O$Y&FNC_MZtPq7mŌoP/F烴gYZ7zXZִF! m;]ŗXi%I oĦBp!O([kRtVY݅-!ARCT]gi૾i˫-:>@<mD}[;(D*Ȑg% "o΍}=d%:é,`>{HV<Sz_$Q,Ql*φ _P>k#E~WJ՛ 9x}PX~K0 kOH{Eͻ؅32FĹrq/pT EOæ Բ²\şfW(b4sƽ$:mW8DJբ{)/Ž۶rѠ{N] hG}އ4PJ@Y)>ԮO^H[t$OyQIvR+&!PmI}{:3KAX<Ģa '^|4 Jňb}&`gYi̋Qqt]7 Ir7I$٣. 1&`7zՂV̌KCDj Nm{*iX("@^PZO4ð`MʍuTh'RS$x|x0 jG(uz?#P_];\لK8Ku2z5&ؚ#; a:N:"[Hin ̱#>2a $, 9s$3 d4 +.>:{!K0di2c^stEB2 )9iZ]~ .1-(yjpN*;j}+; c%#;x7 zA#& F*"^yz5a)6.}"+V·_}ɡr֡Ѕ %ma ^YH c/%pD+3ùI}4L]E߀r(>֘W$Che4HsM.:M|f e`*5zG(>TTpinD e !HwDLJ@2t;B 64 3͵#7]IoE DQ `qS"@b>sҒ)źIϣ'pL*sSGiǍT*T^‚`Vl!KUp," DiDxRry-(ofϙ+"`}OWXօMX:hǬP*Jh>C{J}1?4/8uu,17/,x1Q0dyprgYZ16a9d03951eff262ecbc0e40f2f13bae05d4a9b45a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 + SenSocialChoice