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 HH5+ d4D ]/ SenSocialChoice:threads=2elapsed=21.330cpu=37.096gc=0.820factor=1.747zXZִF! ]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HooQrFKEhvMOC'฻pjb +k: {9/WIL&m:@ja,ɨ!%ƕ_&eilx] WDpY2+{&Sf=/pxm2Ԑ_-y)|;UYZ^gtct=+m6y[_V8!Y!=\BoHMX7){E+ּd1Th8Hnc?GoJ#T޴ c,p3@}j:}C~7wc&TN 4Ǿz~8ׯqp9Cx+[ mU r㙫=T`[D7X\)c:nyez<\rwġT:ko3#3K"h_MAHB8B7wr23Ś$>q߳UQhx`>U.J]2cgHZb*2RF*r|No.xwW3]-I$ *c`p Q?TU/o5ms@PVaZ^57T4N0lQe/7SM4UWުS%dA(ߛKijqD|sFٱR2|t֨@Kr1r>3 +U֕=s.,3.y9 o pAu M]\mm?0";ū(\4E1C1]XZ!a2 M h'WHfШkYrNQ!9c@! 9Dےd~]Z4Җ]?[ا-`:$^ \܇RB 8^<ʓĔEmϓdPAWp-'(A.}-̢/ s B=%ªb 2$YBSɌnBg#ؚ%aۍL{wުIuEқ=qO ;ցeY?f/ Ƴ9csZޯQnykOfwmZ'S[BhXh46fUYT /AXbѝ8&N=Lǹ!=w݆P7J\72b(S]R)Lrǟ5Fzϳ6=%mQNɣt5wU۱Eu[MktUbC%DDEQؿk-I0US[;g-xa D=ja^沀gT~}2npSbRm]ذ}_a؍ UizY,J+ /*%a;[vb %ŧuM]"f|t}= NLqGzsE?rҦg `cƶա.(;w,3[ը[oR{-S~)3)1J@; :t|Kt.c70mL$_fgƊGI>+7&Ada'L>` Qp#_Z}5i .#E 8?xz E=YrJ IθNoĵ~K:n5f3D罚CXSݏ3T2[oy2;HeU3;j,2D~|)g hmgYZ79fd69460d9e20c64fb41d1bac8f7eccbd5431cd97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 + SenSocialChoice