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 U+ T, ]/ SenSocialChoice:threads=4elapsed=14.761cpu=43.248gc=0.864factor=2.937zXZִF! $]ŗXf[&QpJa5bi\0/ n~@m \<&.U\ ëoEJ67zr/d|'aSn@f_iq|_f∬DNfLe",H /b{E, KC0``s}\w56mv$z]d|>ǟLV:[*BldRSkJ"08 #'A$Jyl(Zcbf^lF%eǼLv@SE\WGwn'hؙy5fQhe<?B)2qip7B#Y;53D^8ۨ<09rhW1xFB y#PThF~z.3cCf 4lr ԫJ?͑HYmoU]#M~_tPۑQύ@-Cps Yj Fތ i+9IpD^j "::\'tgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd %X]@\L:f 7VmdĹc0؈y440_T~ +JML  \ j&~ ]S3l+{ն_gYZ7zXZִF! jN]ŗXi%G̉So#6se'$'`֏Xڸ 湪}#+}y$j@6Qy@<ǝ;&ܸ6^~Ml^E˧;@?n8s@_*4M ((k-TL!*2a0 /}4ĘِyjB:\$LAINY7.7Eb'lyעU;{lY 鮶O/G~G2m|Usb+ u79l1Wm0x! en{cW짇.މ=b2mQ? 51 B:-2$x;.|bSeQG9uONuL<294w>G~?5'Nς5+)X !yte-okb:-Mt'ɵ뽾 b TwxR.Mj&Y'?;/K䡢̴p*moB ʪ3Urt?XQb Uq<}oMwؑxD?|r(>yY` YeE{\I_`i7T盌 $Yp 7M-9wh0/-+6q𘭘+*g;IJd4o믄 aW݅9To4q4qP_3$`JÌC%aWZ4JSFw̒vw8!' __CFQ( r祧[ѭX,-t]FvܤeT{ M਌c0^n$ {} +|!tIt&}ӎ>2y$Ǚ})Ӆ@:MR2S !@ŦB~Xcv#€j/'` yPcuʼnZt!?%&q}ټ,ܣPYrJ8P94zry$Cnhܯo)b~1 i q/Rݕ^ǖ&' DFT2BTZ,Ð%XGh gYZ7ec7a22baed6f4f6a3de9b5c26b3fe50b6140fa378a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 + SenSocialChoice