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 hh+ 4,< ]/ SenSocialChoice:threads=2elapsed=22.022cpu=36.840gc=0.928factor=1.677zXZִF! ]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hhuސ~wC(DWI-tLb&{%-o %S 8,s![QnIP#hqAcdK bydlWHzy:vM4J/'#[u4Ѷ5 mA9Y(Yk%_>M+%4-g\;cCs]\?|ӊJt OpRh*v< oVqL/ɦHُRQi^c}7"Z^0 *=Wɑ"g&݆ꭍC$ cIZh#RG6)V>yiH03t]t4#;!p -hb@܍1f:rHs"ro*$t9j!N3 y6vvTMJ8pMrȼF jZ`L&ZE"gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDd5 J>[݈Wk!kmN2,XOe"E wZ1Q!MfN"JhV <[C( S hll+F`|gYZ7zXZִF! zcX]ŗXi%93s6 eoZa͡Ffa ӠGY[)iz!yݱbn%]H4]k6dC @ٍ)+ {a7*ǡLG<̠ZҎ橰E3olRf5^E)~}_Νƴ&@*_1:c  FTL /n|(\}844/ ˟M 'xWST/ o:RnP}ɊD\| 6z Ȋ8μE*U|p<.E@}N򺟺e"bz) CmoVOiSM>('EXcJI7y&̖ o]f^Q"O73H 1Rqh  R_#5<pSdw1B,<0O`6xlPA~=MOsl G cU4˽m5GN7Gm{R!YS>0#+ZV [skX&)5ٜ'Jh=-`<`J(4:G/kH4=9' 3Gٹr +Jː¯ -9 |Pz:5HWJcJCi3&HƸȘpVI'J4ޚNaڗ83ˁPce0F#)pC/D8 za+ z}x[}*D^qΛׂvY{CS6WkCJ0PmxktAWbRodڞe/i|Џ-e!.HVچ\4ޕ(IG bL`g>OV=1+h^(Rk0L2Gή򧼓И4N@B׫8wLkg祄_%|8תnU=ߝ0|[sZ7{{Ӯ/r&"fT30pܡPokPLȚx$g!j#4K7(GF4͠V:Y:2 ]a?ܲ[W#x|#(Pa&\!݊ʕL{O;`n6o!ʼnq7B-*EO <6:hȵ1XZ,v̤zr8l_M,lϰNaS.҆QEAbը97^ (F<%jаfOi:6(p*ʸ%ZP0͆U8{@'|,JA>{Qpݞ!㲇=89;՜ }cpV}O+<+%|->H9"uRqiĠ (F0!լofY=լJ|'zm疹9 }*%/s.vFc4Ecl,.\R6*r)nx_lԴai}dwT.%Ye>y)[, M[݉M'M/|b[KYn\`>.*h[efCn% ^mzgYZ170a1cad8d7ed7f38990aefa202e7a78ae7a34a0a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 + SenSocialChoice