SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 %+ L,D ]/ SenSocialChoice:threads=2elapsed=22.198cpu=38.616gc=0.884factor=1.747zXZִF! "]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hh+ fM{uHWB&2<C:UGQ sI1~͇q׻n툐]Vܸ: W?R?J]'Z=:<}SEE -Eڼ3G0y<H!T{fTkH͎094YhS㥁~y\[y4Ɛh<[2%@2Fc7.O FPČ>M͎Ƣl#I_d'Ӻ3¶?:N~Au2|˴ C_$afnVj43 Bd5W$ @''H̎}i[Xœ*ksK ;J}ȯGr:f"{Vo˗} 峬VnFj 0=Û*Mve $:]JYglW<6myRp[{Sy(bgYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdbpf uTT7 ߭UUlye1 rx}" W "}gϿ?]>pMVo(R߄Rkrx[ PҞ/-7᳜=YPJ踔aNou' ƓO us&u116mBj7 3]M{ޘ[9w3j3Y2ȼ^x]yI-ÔB4߃Q6A`P֍VE4SS<_Xpɫ=Ji?P7&oGMSVQ@DǗo48Sc$q! BYXگB`T-^D)(C,wXBcVf olЉ4S!ĐT<9/Γ(6OV6Ó4' &=ʔn*"_(Z9V=3fߌR 6"Kw N*KsdT7$;64RBO9X1Ht*cw8tps%j,s&~>Dd3`W{`<^@twyF\14i͒=i@(B؅Ǔ2Ts0|fR[9w'°8h}5O1^I+ת^x# Hc&'D8$5x/2qDt>uDXvqfD{-9Cî >瀚+IʨO+'D\A53)-&hA*,IeQ],GC>K 5@F¸8T9bȓw3WTB=9/pÔu7k%Pc;SǮSri-֧b @5]Ǭip0w3MRw+ 'KR1paHr?dshP0x}DÛf1y?k ٮ+1iv;ήjytN f{J(]iNLu@CKyZD[+z Y1'ӿgH ;8JA4Gɹ)I'ힸrK/jr :@>AJ4tJHj{ /oML$^8"{-KbEZ\\͡HL̓*0D@K31OHi1v|5:P>h? r&v{*_Sp"&55)- uFcb{FP^sq_#:*h=4k7y}%ux3g \}m[+o{AA^7eT 0xF2B  ٱgYZ79fd69460d9e20c64fb41d1bac8f7eccbd5431cd767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 + SenSocialChoice