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 i+ <4T ]/ SenSocialChoice:threads=4elapsed=16.943cpu=48.732gc=0.940factor=2.887zXZִF! W]ŗXf[&QpJa5bi\0/ n~@m \<&.U='vעez躻i1_N*D=%$lj00mt #ǻ5c/4~VbJ4Npx5*Fx1J*hJ>M ٕשcfOy-{`ݞkK<6 "ٸv m"ykOB MG}{;@CU g)Fwn'Tˍ*h|b</sQ""|gYZ7zXZִF! x]ŗXi%B  Aǜ|tH0D=nɶ>T Vhy82ۗꙻ'e"MQX:bX2bSE32d~dg8^>cܟr``K_`5˽%1i$ >L>B]ygfDJAI/"<0\ۦ4ӥ\cX[_U\n6uzo\Fs乨0ɉ |?uZ IzU\124l\r5`QG'l nhc@^ s0& KA=g=SWwsWUTb8!G+mY*32sƞ?U'qRQQ-k7g PK'o_\|VЛKDǯ\ 1OKfkw_腫yk4kزJeF;H5Nf?D-ZTruQ^[)jaqpN)՝hZ&'e.9 h]"6&{Yz Đ7`DpLp$l짡Ҽ{n aLk @+ ui#]FU 9y% ;I}7%4 ΂=:HNԪy)I', ̈ oۏ_DW'ׄ[jZj s u悈n7R+M73 nm`W!-ʋ PH4X,ٚ0>rZrY`Aޖ:0?'L[SHffMy_ӡIXy$9&|"/$Dc^#Tfpq^LLЁugN!+t Qq*j۶3:p|(X #Aȫ/si2El"%2}| 3ᘘo b=' Jv" Y'(3721ʻ~rԼsxv;47ң'9ķ{NBT+g;6z {E͝ۑ tEx.em+DDJSn85$hWA߆*b'A A8/cGxSR@0(Uv%qG;9ʽݖ1TQvD"߯)[ojX0kip?$a~6|#2V `N% I %񳋣tATs+*,Ba<^S%:)XdJ> ؃Rz1Iq#Y3H <ľ31kߒH/ oתř$(z::urh%n+=z z4QCq>z^5 o~7w3Ei~#/BaNcEMhQw5f(Nf1II' E/V;9䖦#)3<^: rwx9aBάMe{ ^obiI.|0rqP_ UNaq0I60* 9+ 2)ıbs杖`,,HBkռq\%-3nMg^CP0HBChղ9O"/ ݸT g99X,G>Cc9H_/'BAcxW1PBIю5_]0yʔ4r~Z@PFW@18SIbV*Zچ .1=R I/`$MAm~rS \sϦ0P.;5(,.r߻dz}yV>MIa'gYZe616372109c444f76f33479242bfa574ce416101c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a + SenSocialChoice