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 8+ |L m/ SenSocialChoice:threads=2elapsed=22.484cpu=37.568gc=0.856factor=1.677zXZִF! 6]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR ES❣z_/k~c|5+I~j>g&asx?+| BgIg Y` aB7Х;!*Jv#1X~8!_(~/R/}+ 8Ad+Po[Mu|Z >j uӾBB'yDc@bsQ4q29>2=R`ʍnr+zJv9Ͽ~:Ik`ܶTz=Ћ!w) ʃ"w-f(3%ZԞ@pqϧ~BuyݍtIBO .f_ r;yh姻&r>/FYӷ=_+p{E~OSLzOm` 9iFSl ]aiim,zƨIi;!GF<|:H-I+Q=Q)܌AgYZ7zXZִF! u^]ŗXi%}ϑ-(6:*@/(V [11Pe.h%} #S5d㡀W{2voC z| <X%!/W—Mf7J%c6;JU@?E`~-2c,8hMxwQKX-CM~:qDD\{ʖ@IKLrO[UБ{8l_ (. R u3ӊ8_/2D~v Lv/_I`‚<uGXȻ f^c*Q!-tx^6\P[ L$iɸ?UWpxJT Uد[_]l?7::w^p`GJvi9`&8ܯ1,"Q,CG)=XUb#O4>tB~Հ/<8 V#{6n[Ǘ  C)fu8+pOn`> 9V?okY5Y2^#uF W-u.Jڲ>Z*p62 ܎^p>2իlH:m>.㫎s _,JmMw-#Ғ7M JWN<_][:MMqn@XBm,Zz,6 m\Ԏ{ؓIrэ)G6 wCn;pN\ +IZ_ab%K=!b2C$֓eȖ796Ş -_<9Y֋-#}ɨ 皠?N/Rve]Y-TΦ_X!DFBŘ$5 k&Ꙑ{p*5N(ZM=HAHd"_m*bVrk~2 r 1xxGW.SO휚%7,,.|mS_UTTS"15)'V b4c'7X%zh cBBWFԦ|ybB${5^ sgYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 dd8c37e0488041a63b0450f77c7860234ec4a413 fc8b365e685b24bdf1f0714a47f7443575e6b6b80ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f + SenSocialChoice