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 ll+ ,\ ]/ SenSocialChoice:threads=2elapsed=21.984cpu=36.248gc=0.644factor=1.657zXZִF! i]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HvRwrѶ!":HMQQmB }Ss[hř8[/J?[qY>tDNSV^gtOwOJvðu1<zw*2w_s8SU}Xɍ }V5R~ eVV;~Zы doyޡ6%yH,,7 tRʪ?'gmA&%g0N&ݠpg5y/e>7a4Qo4|U.yFY**R+KcnkR t C {A Zt_}^H=T_ΫU&A#'Ujqn'=jϩCݓt#=a[ѯ#ka\I\ )pʜ ^q]Y}1Ʋ3A PrGf $z:gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdCP& \aF1fwOeaAR`gEJ[}:`W+FhawTdu)Sg%g37cE &NATygYZ7zXZִF! zdh]ŗXi%;$%-xb |(D?"_Ok=BzGPK+*HᮝcŢʟi&p.= Y޵k:YD"I' S.ϡj|NPrjH!'7=%z9ɓ "("сx6nConW圿JJ{|hMtmnjxkʖ&y=E]Lo71!?^7)Qo"M#_-#9HD֧چΆLT9d{WK8hģgvK*>o)dYNc'"GW0׵OApmii@ہ4.5tݦL筭m-u;7O40j&ki6ha~ ):&Vz8NtJunV%~ESrEnϺt9hrkӒkF$t DzoٝjGZKVG yQ"xs6d37PjvҹlžT۞yt`yސ?/_+)|KS 񤼭x\%+Ouď*'Xor.yO :R +Jp-yΩMzewGyJ?ZdUg1AgHO  kVW~&{Qj(d ~Y|y8RZ%~U _rݠw+NiZ]ՃU.[7QgN tzBfX!E^)K|۳puMN;APLg2س#oPn7wz,If32d|Pbd:BT$5v/o9wĎI ; pGgPq^JgLUhEm3|V+-¾t5d#kZѹ=DgbʿV,g/b2O?05P m6mkO!?fYN&l@QLUsZ~ G5wRkθ>mGӼKQ%( bו9_C~hO@ fj۬ք-+= mC;Q)%-R?g}:f 3=^ G B'lr0PCuwS 9z,a teLvWWZc_ު("¹P&(S[A;19 ]NB++*YlXeE6!(4hf1+S'ˆ3ƽ`>Tl,gZEU]j+m&[ю[խA``妗?)t#lH[7Dʷ'kUSUf2T6_ɤO gYZ7000265d45db435487b06ce280d147d0c7ba88d979d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d + SenSocialChoice