SQLite format 3@ .  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 X9 TD| ]/ Fishburn_Impossibility:threads=4elapsed=20.490cpu=75.808gc=2.460factor=3.707zXZִF! -]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFv-L"QA=*d}NF? ]-($C@BPEmHx$fO tq@U?ߥ6G~Uݸfቊ͎B".(9{<|=8fiᬭǑB>&*7lfD5صcڻsx6^4"1=p#Dwgg:%, ʴ|cHA(X92)ۘj 9 Fishburn_Impossibility  f _ ,h%B֜L.$[=,[cs -HlO َo?PAg &^V?* C.ޛMGRGt;oE FK sn!#*!Ɲa˘v-+OF{.*`I^0EkcO}q< R1'n2Qn"Ћ t.0MD?Gn8e\F16M y171' kΚuM s t7 `%ےQP>`>c[24;*;1Մhؓ;Jw-)|_qŀŽԑT` 2>m)")N! 4 5vUӏpHz]Dڡ`% |ަk "kݧe92N4dSmtۜ/jސ3$ϻ#*NǽD?Njy3J+\Hf9!Ǜ Y3U&d}@/k5tw^ [WIXgYZ7zXZִF! Z]ŗXiɟ1˦r!cHkMeBd45*jWtedL.l5I p| K~"A3*!8$# nᄍ- T0Hi?`6G;U(8 ZUYa?Ā|ƪqj.+5e{vGԁ=NNBipy߷ͩ&o''< 2g^]F(gYZ7zXZִF! w]ŗXi%Bb'DIԖdme>μ(50gDE437ok C~"o$\ť;~lZtK>F@>#*`ONy5-Mla)b| IU&vTU͹oFk[>Vb~x2oK9ӯOšdj~jbSJzo9/O UEw`5m$2o)\eg1p}(AGJ Xa1sު!WKV Gs">erREhM`g[l A*3eNCkD0oh"<|.rl9vBs(#zIrKr_؇Rf<e*cQҾS{rX &"νEZ3koEO&/jFI:gul)}O-t Lb3)J=t$ag04Sd=)$8SBȅL{l"*g@1ƢGB*V\{;K ;$hMֶt1EG0I 6|)\1' ^lK>K۴mkӬZ_JL$oÿ?':FDvo7e us}T&:qdHQD,JAf1fC16rt=d=d.F+Һ5D! EabHSr&CXSy5Qr{AO9R[1D*9;g{ha"[>T<; }!NjVx:['7%ZٍCYP#d ]O]G1SSHqF} y hZI/CzJ-O,UtV7Qu9gOv^˼owk;',NHEc+zѢB{锗og8.=9 mt;̂V\%O헎Cゞ { sXbkfGr/_عiw e4/gWQ䢣11et̀dQOl_VFr#vx“MBwJeDawo㫊Tmkr*]>/YU9C>~3>T:qpr  PJh񬑁ҿ0}Du_=ccv;\!]1[5I+^"NmI2{1`@\b_u Gu-}hugDmtOּaQ(&;Fh=z6"TqkziUAiycU5PP FZpݫXiʊ 9'-I@ Ukʧ[ΰbsd>D0 it`Q0ؤ,qjLG6G*yD@ɗٚIdۍJ9vuLԋt]"cvT%BZmGwM9n'HF|ZQ:O>D5< WUgUGeQMw,`8":c`XV }O:VԆ `KUd{JqzQ6?Ƹ7LJZ؎`GWWl%Lv;`!E)3w8u*F-B 汩Q#rvy:7!)(nRCWcx*hQx=ikקP>L^ZBZi^1d|*kyodlBgt΋tN">Gj_SyHBw[TyC990