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 jj+ l$ ]/ SenSocialChoice:threads=2elapsed=22.394cpu=37.616gc=0.872factor=1.687zXZִF! a]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HodowrѶ'4dStmL^v>[_'sF)q,P|p=e_p(8FiC*҃`Cl* ̓ _I&xm#NӨį <w3dp!ibJ#( UFo6f=)'oe^Ӯ)`Oz9 TIQ/S&2LkjF/,aEnOv'󟥬ܰǸ2)2e7źbøޮ\hY4j R)? R^ۣ( ?bvW^n-Ÿ-П[Ź/1P=:sOdznE-`d|]nÑl^ ĆP|ҾbfS=}k9q*]P?r#-H$,"ʱgYZ7zXZִF! uI]ŗXi%6f~5yKqj1ѝu:pz/+%7  zF1@ T@ JNCpbg#^aB%]lIXRiSsK]&y~F sZm]%9J~ 6`yM-5.r4#9Ӂy t7p7B֥h!ꐑVÝJe@h鳷gg]&\`ƅWU :KE:^wPOmQ1R0?" HI $:S1tƸWo@qi&7\me)_O`/wqykulF(i{(t;! 0&vKԋ`ym(U{ㄙғ/$YxZ^LH(G,Y 'G.}r^By}e1pKS`6v* X\ԡ$B gI$')m3&fK n29/'7(@]l=Sh/]ʶD(?.F JjtvJ0|f'gX"nC~߲.TyE~'-Q-4li 3m_@VCL!< lzcgҴO43I~z*YՌi5!j`wj ߉H]míF%<,V\0\_(lç*oW?'3Wg KIaz]ls`;˥FK,TAXS3 !c8R-\κqJ=RѨD'JHjRj&#ADzml7b{z &Ct[}+j0ep 0ě,`W+mlA1+d~h1{Q20M#' AAxO0ƈ#vjwPЁcӳl2mWPGbx?Fv0f/NP.=u{;V>~̜[(JϿ`~Hp#)fh+!0>O{aO#N`| H!LQa0(%:.r3}31\.~ī K5YHSI)94d !+Ove: %&KNNJr+>2ʎE ; Z^v K Ӛј[H   HIs+"Ăx"3.3*_93\5|X\islV+I2&^כ&.@4o zeLW]Usj${4iU]pタg⮅t <1'~L~i `Ν|z~OM aN_RFZL h^x:2|qI%\aki>ﶥV˹>` 4'CAx%A^ ^YdĿeI,:/@%EjR ]? -}.gYZ89afec61013818d58039ca8c6b7c6fbc63e23e8a0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 + SenSocialChoice