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 p= DDD ]S]Randomised_Social_Choice:threads=2elapsed=20.824cpu=38.776gc=2.360factor=1.867zXZִF! ]ŗXf1-/6vR[NDZ2qK7QF({#W,-EK3ApR u /f:8n8s2@}>CxXyI ` 88[ f8tCO('BQ2 0>lbGKtB'>/'\{<_։lu ϊ*Q %!`+;.43pAnz/K\e QY& g, N=-`0g90wy%%DrbA\Lٺ;𨖆ҹ, ].@Woڦ^"R/Y Wk X+Ң 8,.>B.wkJILP`"Ԍ>uDTUɱT_:Y賒8Fٹbgt< &Qu)Og3}-z^g6r*AryyBi V>UBjpԨHRNi6ӂ v}jO .]Gb@/9jU^C#[wvM:D?E49`1RgYZ7zXZִF! ]ŗXiɟa'}@`K]H8'jU>fJf:q8|4x2О۸ƝN a]?X3y#c:ʀTi0r_yrFm7`}vwduCz݇h-PVu.dxqFIREqi$ H\Խ4`8,DXw8ufк&>%vspa'ඡ܀ &7_$)L;^s#F;ѦS\إ]CX“@}o49T:E Mkݚ͖Zf:/4zJ)$ZYwK#y 'ٮ8d4c ix~eȂ|H{e7ūv}H^?8;yLW>Ĝͮ2J9 D`C)-8f^LQǸWJT)9˷ S"|t'myve]Մ-7,\MO GV#oB?@~!lA\㊕q8H/G%~S5bo8bW,Xc@79Kx 8w%CQJ|= "MEeRn4TҰظƪ :ъp&/  -`FEx^,[Dqk9;WdMm"#s M T@p5/?\G2٠opgM 9tP%H.G7},A;/p]A!y ]k6O9h|!{6XJ0dsHձonΜ:Rѫ8YBQ.njF.=ӧdD2PZ [,îޔH#6֗`_ b7uz6+5>i/(Tc0ʴSĘW +UMa#dQXꢘ(/qŘ|bN8a k"Ĕp&e\Fz}S<62եtMBDyނgWU^`z !*I%'e5\NxrSj("|v8΅N^ou?/Hɧ? Df}ß'W'1e=8o]F乜k:cXOYYF,Q%1'4%p`.ksl$ xe@Yw@n2O]nEE6öNj*g㫌 >IG7lu7r` xl|B+Yĵ=9癊BlB/d%m~ t) BgH+wZ'Ud!c*.=-b2sbL!hxS`-^Dfz iMaE 'ҫX0{;=')`$3lkSK v0`A$?+KS|LQQ~{6rLdtR tǫgYZ27857f481216ae5f550d73f87927623f88a12c53665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee b16ee08ebfca5967a571197bd3aa95bb88e6c232 4c8f4dd29d74e345c9ce38dcd94396a1191662d206c335f044a24b0bafbdadeefcdfc0df0f4c3675 = Randomised_Social_Choice