SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 AA<+ < m/ SenSocialChoice:threads=2elapsed=21.689cpu=37.156gc=0.552factor=1.717zXZִF! [!]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EUVۙ#389ۭ* ?#?vTm,yY8O`jv*SH0K1\Iѯij!4O%~J֘-""n`j\ 4qm_R^g] df2]A=,YkU[o <@>L-yx߳1UþL7cjVu?MTGxWjv/V }RM)Lp:glіx`p:'tr-J7;M,:8'`R~PsoxzQzdCLZb(7&3+{r$o;SFaުdy&Veӂ#*H_?@(h=tۂ>-+qrfsDUbh Hγ+џoRKa4<2>caM^u"Ǣ& *I N#ay03ؓc9.bzD 3$=C:[@>#]O0WksNc1I:ڡFQ2.p8\Cǧ?VdKF/ ߹dgn*Dnnf* $HzPΫ8k ^ !~CQ2T+|2ʆ mW)4 - L1 ` 0mD^ G }F1=tͳ DveRaǝ_tKf.IZ c x26yzt) B@Zeghϻԅ'5ߒ%e'{\PL3?-M2>%_M"cd7(L:g%*1 A0u+>\'$ɲ<;}d p%ɉH-}ӯh髝)\|n1{W)OsdMIF a$eiZ4_<ڈ$*K:7ң0w[0xʖ{0#0.bE Zj2iߐ@ !T6j*t7®26u'7L'ި/OX$QI$sp9 mm5l_wT%'x9b||!Ijn+2ғ>p9{t/i8Pɱ{v1Y3Zk|ڭ,X+8@KyEi39<۪ ^c"ŽB(B׾0!=O1YVEW)ƳnQFuGb9olMWilXSr%(8+~~L6lg$ jp Zxg$B >Zc)2k)BA!ӥ~y7cE1u;S3WD#9o\Ҥx%wOrK?2[9(piJv0m[XwW\~ ߽;Z$KXF=$Q i&y]&0ݭs~s`: SX1v]acg⢋+QW1Ww`aGES-eCάQq~a>G悝 e[^H\uȎ;g1X% 4Ev .-9!*%Eѻs?}E n{so N[Mb)*᢬S{rMLsIxtͽfA6y܎rY:fJEMıS&(~ZfGc9˅':8m~f ^2Ib|-Mj V> #R벏rT8>.3jH3|U8jnj֦̆ ` !RTNǬɇ0\Lt\í4H!9oDr*dKkibr=L]9]+] J'Z MR &Y;[;0]#"شzTR+~)9G`{P pD$UyVd&T=&=âҵ?66!F w1&EHgBvU-Zy/#kS 4EAE lݦh*rIj\P{|]&O$7H *YwT6;< wQGe< >A] 9Yc5LX))(1)ώ+K別? xh3䗔Vw̿sa]jyWni$'_M/gUE Y9*$ BS[bo (rWgYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b8c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 + SenSocialChoice