SQLite format 3@ . BBh77otableisabelle_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 q+ , ]/ SenSocialChoice:threads=2elapsed=21.793cpu=37.140gc=0.936factor=1.707zXZִF! d]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hh Md|;Zk|6ѯ?TTz=Z3Z".EU!KtvuYqX۽ o I{Uyo53`-sq91I.eLRTdroø~HymC[vCw!ZHo mE k e@Ty9y%"IQM*]*9o"4/ҞBPZh.y mp?M('׎lfh<*C_R/P2Э/jxcx)GQ;v u:96T <;NPUuC?\}wa^*Iܰ~ʶ.d0Av*+iQ2ἈEf0g-2GV$>QHPxb-}elJ79$TgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdDf uTT7 ߭S"` PDE|WN:<8R? -V {x ="XmR߸3 ]cK\d(8qa&HC΍84{s=Fۭ7醔82(%,P@V}«M?bSP.dXm=S܀<,q3#Z>_gd=ocL?80NkşV+Fo|%j|DS:Vϒl@Ӂ#I07WN(;G( Τ\"k_ӶEm0+B/)' 2_q[ޫKsL)v_ _kZ]Dyi 8LBꁲۋ Ag~Q%j*n9Vi۳XeVYT8x斡 eG@vT kLƝp&bq+Jmy(8W}Yy o?證;\lG}!Tx?H_lw~0i+8xΐzy` {PbD[{Q-1ND/&Y3cH(j񾨶gvi:v?cuϪ]fTFoDLH{探/3NH(u0F2 j&N0qlwd&A{c ) 3JU9.) *@-#iN =b3?ͩq`q-˿*#ޘ86֨a4!m 4Qpډpd#mE\zQ#x~ю s8#Bg3cQ wO:|0UX~Yl YM;+QM#)IwoWr=-?&h|;v<L 7k|'Ih)9ST4+GA3}GiE>Ii!%~8dp38a^CՊ[tE:j(Ga,KO!3Byy}ay&@,֭sб'bmàf7 ݛN %ahh!['y&!Ӊv'Uz5z ZU ~zuq''VZΰ(g\t27,s/G=g 9aH %GNgYZ9e4ae81cba9bab1184eed498890fe92b478f484f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a + SenSocialChoice