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 1+ l,< ]/ SenSocialChoice:threads=4elapsed=16.951cpu=47.460gc=0.836factor=2.807zXZִF! o]ŗXf[&QpJa5bi\0/ n~@m \<&.U7x AL%gvN98R,/ XKA2R\7 i,)`v{ܤZ,[IbBej7PIt dyƶÁ΀6JOkP)*s"\I*6ׂZ<97%M=o:Shlk]uiy%6NےSqPZF0_IB \> c"g-+'ha~ΗQ+ BLZW.Iq!_Zsa\"[- {v!Y$v282䤷*O;|;l.@y5!{Q^KBƏm3.@OceW ym \錺N{e`<RAj[^q^ZJ{LGj&oZb" uY/+7gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd-_/B2NP툒l v~w9 F/\LR/ziCf){9t/ TSv–2+cʛk܆zz`|gYZ7zXZִF! u]ŗXi%L 04JUF DM6:ap&)U 71q/̟7\Xנ ɭ:x6WtD_L2e_ʣК:@hK3k}aZ\8JӒbb145Qg93;D!DA\~bңA ^xX 0gCq]g*ino܋e"'/1GMr51{^#;/Cy^2Ͼb M>UNHbr?\) ӽĬ8ZM `˓3yoWu.;($>=y@+v|\r !*]"R_a#H}rZf/WYJZt  )LywK-{Q}] 0ͅX5}k^YmcW=L ۯ}~+3s}E S6UoXͧ(@TcǗ35i{3$:Z)5ƻI~`^8"6a_f˱34 O~y PKAa#{zď~x A[J)>VG, dFԣrvg‘c'HmD;A^#$ 793WԵV=ˍD)YHE-#M-Tdy,,>:a(DSu}=d h0\睤m,Hj:{3'質 P?nǂQk 7bu6P8^[$ƭ|KGl|ϲ ]eC#xD#3%'ᘋպ.beCSe(;[vJHyug=  hn<()0"26IlGmpiX0Bxy N?<V GqYI>|{9,ˋZ a)1v[f6BH*+7Jk`LbE"rlM6=dEZ%SE9C_$` N;Rf`F1Rk: kM5o 8ı"?4n߭nH5KI'E cf2p\7(oi wA(w!ϯ̮T0@nb@V"4p&z|' <3/ Z.&RFrgG=6*[D\4y)̂ќ$=5Ӭ2[/}gsc BVEɤ&3:9KG3@,f_;#/! : olLSl"QH&B8$}p*f@0G(O /GUF(,gvqsO&Y JgTC+'G]uw v}Boi;1?_]Lýdn0AckX' O3rۮgYZ2a572f2b79f7b0e39c8ed9a255c853535d50f6add3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 + SenSocialChoice