SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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+ < ]/ SenSocialChoice:threads=4elapsed=15.206cpu=44.120gc=0.772factor=2.907zXZִF! =E]ŗXf[&QpJa5bi\0/ n~@m \<&.UBCta%k˷^n~^mWUpyCWEeXOjk_\-lO7Lx7 $S_*wgb& kvѫ_B+S2u#Ԇnvl_ie;cIϢA#R)2F(|+=S)uQ{жjt_m`(˔> gYZ7zXZִF! ]ŗXiɟV'JGQ=y|ژk uiXDdJ|Ju؞5a:)o@{Cc]O>?`u5ݺ/8 yr/wJ)E= NT0ڼ=,}@CdxvgYZ7zXZִF! m;]ŗXi%Gg@A"FmpΗ%[(SM6KxH${e ~^hE.M^!1"!njUiE6O k˽IU]w&C滰HW0 77e0PNyȉQk>ݓж Բ.;7I xPٌ(cpHfl%"9>I/:C?5?݇ȹ^9;)νe ]G2iSNwYKI2+($e%-)m !$/{K E,2啞LP{z}un!FFl4ÞK+]o#|r\DA%Jy_dRBK[nc67dN1{[G{0Mi 3Cʳhtsc dVIpH @jz11ekܦ j\g]7/yhmw%b>}Pv,b&E[`aXڝ9-Bz^gū0'K2t6U0,cDм<&,%Xn6wSg'뾨 H9X²I:!QF>wRT NU4:`x; WCVz;--H&yp''OGMOެFEk;2tQ+ sHR!Ή#qͅJЭ9-S ťŃ8%w|B%X?v΀7 SM?,'v_(6ҩvO-_jJ~!:WO-8R2JFAXY5 ȹKݙ1Nn ,[4(X+TS/Eg|Ԯ64sQ2]G%?y&I} -_P90.Ӽ#m.j߮f26>)9WENn;:NEq(śvRt6!N:b'U=l:3 KO9w} (n!)2"du"yRb3W )@MAgYZ2f423a696080bc097998da2bc93dacfaebcee8fc1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b + SenSocialChoice