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 %%X9 ,L ]/ Fishburn_Impossibility:threads=2elapsed=31.874cpu=60.856gc=2.516factor=1.917zXZִF! #]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? Z z5fZWAuѺOKnZLB(<-o5: }mO[e7O_9ͧ NR bF+E/ȳU5Lu|ϬE`]?>I܇ίe*= O$\h}QѣP z٪'1mnCB/Fxgb~cyEz8v^c !U5hg?\wRXIcU{L'▌ .aGBżH{5#E?',Q0} i(P8~}^o1![!a7n{&=k0g/>ߊ i}"xn+~U§XSHkVU˅_XO>S>Q;ɞZHF!7!ޒuxe<.1+P,7y2j¾ k }8ޜB=1?uK3 >Úx73Vs9\ uXWkH+/84%J^Wt ca[&/;|ɽU\q{hE!41%ڠmn4utiڈ*eRNK`$qv6fPh<a =_ݘyENv4ː%Gyūry4{z? gRJz8-tI ?m|+adwE$Nb`W +z8p*)]mU9F@{ o%WCl.!ƱvvHAR; wh"LX-izkacdz?F V^,4 ג]_,"x@ JA@ݍa)G~gYZ7zXZִF! P]ŗXiɟ1˦r!cHkMeBd4Ѩ{ki=͐`0>uߜq=Z@fCwt&ǹyecX F^jz!u(7yA8lp_NP9(6Ry5I#{h %Q2f1͢@juWlA',&&`%Sji`H)Ǐ%Xu9>M}@o kՒ9:0.YW _99=b\J(T]{ hWc2hLVum|UgYZ7zXZִF! ]ŗXi%>gC߅p7ئ۬e_"C7܍a 2 UɇWB{|弚%6K7hTtwus69wE'aG^f-رеi~)k|z3FWg,i4-21gͤ hQ] LH9آ 'KHK۟s:]vE— mւa{`J2i]W5= 6eG-(738NBӂIj66p2HR.el$R磯V)7y_WwȿW& q~36\S sY *>o%/w Z7õ^A!q3HCJEhi(obG塚fjGakPgT1 5)fok HYoӝ CMz% @Ҩ@&W6u,\T|fHjP@(3T$S8֥frF 5Whk<n:ɿ؆(n2~*+JnmjKEt{Jlh;3a*!Ιu>vGdv{$a??6$) Nuf1BZ-7ZSpJkǏV#s-TT0ѦAxɽ+hFFMs|"H!bzu)CSe}M5c_6?\*/U݀d;Z,n'CŎz E`U "􌧌6KJQ0Qxٲ wEEs|WyIcNE)VĄy6{xx>?i!&xaCxY#e^aѶ0 Z"@Y{9:#a 0mCJdr\{WANQ;»qc؝|j~M@E6[J4* {55qd2`^r':NI )5HH%QdjseUn{W%{UxF;yjS֩3}qFFPA8§IbTYC5cc& (%ҹ♘:Uׅ> R2>l=D֞O!O#-Ѩ#4Jpe#\c3kQQT}k#O` _w;~HHH`Gj%2H:!{Bco2k+](c [hc%"0xY,G)/ mQt_/in7 /ۓPԥTԹfVέ79!,)Gbbo:5KKJɕ-gYZ7d917b0bd5cbe2d8044818641b657c9e31d998a3665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 9 Fishburn_Impossibility