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.940cpu=59.640gc=2.360factor=1.877zXZִF! #]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkNS-M%UAL 2r.jɢAVs=U-zU.P颻;J[4HK63T +pqXP7,7s)r0u:*`9jc%1Qȷ)'hkbDI2[VA$Y>eՄBt7/Vn>݅G>ZdPNXxvǴA:_"gj6$hpj 9HWx ^p?d 9 Fishburn_Impossibility  :N+<KYj"Djʟf0CT-KF/ ?lIMVHp6i^ǏTbU5c;P 2FȒMhyrC=h IEN"5/ejP"ڵE;rF9Lɰf,Q1&@2r;b/O|ŧܩ1(D m/Lbp_wX-ڵͬj00b6l&b&WÐC陃ecBZͪ-(xX|*rDS,o?> NJAD;Y44I︼NjVuX4kI_X}zdUP?8Θ`_Q}Io(\bk)_nQ :Շ4)E8ԙ@/Wٜ"i;.s>)\ܾhسhR,*w(l15}kC @Flc|%"j KqZ>nxsmp)gf[f?՝}۶N*ҒJ"i^2yt-d>ߣOSf$e1 aS%!5e+b]*O6hcK'UYL~_ ( XK@aE$#;}hzJ$\- eڂҗ w8"$&O;SY$d ~)Eʋkf}m.OpyL͐c9aOM C" Gq#Wvm&Rvd݅hVҎppXwm)vl>CЦ[]wvmkNf.[m;^Y!)FxSsbcX ?6jq%~OTLpMEGE[=ŭL T mpyB{g$}Sn%oL?k/4q|h3I\09Xm(XcTK -䣺o180Ⱥ.&ۧy~Y~٣fJ8:9 xػ9.VADe r"Ϧ]u2>y|9A&гwrN N/5V ?s"mz.՗<{ZI=H-$I~;HzQ0?n)*nvUpg>)h+G[$&fA^|y3%gs 1~l#^ $ r)|)/܆*Mg:=_BX!*sq_~f'xKw><ϻa؄ܾc939ŀ̂{?( Y"wmkfTa {N!:tP27*e'LQzdDFI&Gcӭ>D ŹFǽZz 츨Y<IcQh:R VY@ +u{l&ؿNpπ>%|"AtS=\-9PbCV{'SP |m MOY~z7,DvfռEFϲC^@N-1jx*ȩ