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 9 $\ ]/ Fishburn_Impossibility:threads=2elapsed=32.021cpu=60.388gc=2.584factor=1.897zXZִF! $1]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENS--rj6 x-ߒndj)LcQ,.\W"<m9cQb;ޯU2c;)t(.:?Ow :g1,i{ڪAbQMw\,+2Uioi{WÅܻl;64^mr?T_H3ʹ\*?B'ǣ $]G2jau:@dCW9VDqC=K>2OߌᯜZze?7iIE 9K 9 Fishburn_Impossibility  [G `-})>Ü2 zΆfNzƳJ7oK,BAq0 jr+kNϺvb HX}&ufC5%я\ 5l,nhrEϏ ;_|nywű9;/C$ӮT4eh&3 Er9up/D Fw;62Ok (jgLK| c4] @x-<WgNSi6TSJˈIJ(U2?=P~{pChъM>=$v%* صx",LDXD WȲ3S-zH(5*3[NhZ,%ԭ6A$G?]T(qDխq94 Ᏽ2:aX$UWNaJCPEGP>ݑ8ô)}C\Y@Bv<$C u2|)#|*ޙ>0LSWe6쨿5 }A&XgYaۂ/ z[F(n R4@VdM!DHZgYZ7zXZִF! K]ŗXiɟ1˦r!cHkMeBd4M[5{24{Pl{m;.-DLFM5C9 ʖüt=(We}& eL6ۆs>F 1yh3lpB7(1UbCRئ,˖UN2eaװkM7K VH󝀂+[l3ʽC,=ΖRҖ|sm,HA*=[C ͈GSo?vUP!{Id0p D6OK6CЖ[uJRART¾T K?gYZ7zXZִF! A ']ŗXi%;CTP!xG-be6z3U?'Uq)G{]k*'Y5fC ~p 8ס Xx!|M=߹[3A D: %˥9WnXpFk90?FB`C 2_s׀v c:hBE_~E$rt4w}0c埜VΗI~s e|=CS?_ -DG9qJ3M y/1Hۓxcd{TJIOZ¢Qօ@Szs 5*`;HfRәRRs`# L (hSpK1sHc(K.✄ͣ:,Q`R$INLWg7Qhq*}g>_+ 0G0g]eOw̝3*_3ֽ#xZK焙+mFd \k 6Ӳn]bMZ=$d֫].Bmh⇼u6( : +wnfn,dReFP,{'o1?BZKdMY^Ȏ%=8>7SSi)MK;cA0P-ܕ&6۲t[I 7m)]-4#VJՠpl5G?^)3`ߘz?,DFqxW̫vKc/+:ɗUM}HYjxS}$t%eDZ;I m '”ͼK+>I"9S^W+a7U>-2Ii0hN_-voe(;S&b`UJ ^)9Y i+NE0|;A@BWcd^%`X5L+izı3&[uzi+2ȅ1e'0+uk_Í0ZR}yl)|_oU Fy'\g_sGՠ-f|?}QYXsM;T H}? */`*zAfN$({~DcO"vzb3riyGW)L<JhYg!f:E 3bg b8& -fn I*޲S:ޠ:EJ'lޏΚz9Vi9GNyG/>m>"حe=ux3"|"GOYDF P5 [W58]Q{Kk"NUԻ =٫1dpu]Wrv\Y(*=ׇ2KXVTxdЖ.kPC4ץ8ўxvҔ.Iۈ[?\":JOz$1JrSJ_N/(帐Ư*)e 3F (/*+}xtŬnxe,VPBףBl?FT!vy][Wg^ups \LM0S: .jB@^Ϳʧ8\uL:ờ2do#Q8P+oގQ,<^pIv}*QD)QᩂtAX>#Ӽ+4'{~'hRH\EiCQҤw̤Hvf{Z1҈CE y5{i7#%bq@jB#[j6xCH/?poЉKu!^j]6Co8wu~9jO4MUW ņ >|ulIs/|n4#Tl/,cQ$͕dez %sGKsӅ& Kү{Wbf+&PK;s-$QEN{uZQ.$RgdFh ?;DKd"ͬoea ?('w_Lm#,,BRgYqca гbNaNT?ȗeIAB'{i Fz^DSv[_GӃ#4pYNю+՜@h+}q,SMK^wce)]M#bEB 5%&zkv&s\<@F"+EY+v!,̜7,G[K8(~QU*Itv.gYZ4dc80892a1065329105f056035487209b66aa667a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39