framework/resources/Functional/joins/nulleqjoin/neqjn_chr.e (2,252 lines of code) (raw):

LA LA LA LA LA LA LA LA HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI NE NE NE NE KY KY CO CO CO CO CO CO NY NY NY NY PA PA PA PA PA PA MN MN MN MN NC NC NC NC NC NC TN TN TN TN TN TN TN TN TX TX MN MN MN MN MO MO VA VA FL FL FL FL ND ND IA IA IA IA WA WA IL IL IL IL AK AK AK AK AK AK KY KY LA LA LA LA LA LA LA LA MO MO WI WI WI WI PA PA PA PA PA PA DE DE DE DE DE DE OR OR OR OR OR OR OR OR OR OR OR OR WA WA IN IN DE DE DE DE DE DE TN TN TN TN TN TN TN TN FL FL FL FL NC NC NC NC NC NC GA GA GA GA GA GA PA PA PA PA PA PA AZ AZ AZ AZ ND ND FL FL FL FL FL FL FL FL SC SC SC SC SC SC FL FL FL FL NM NM NM NM NM NM NV NV NV NV NV NV NV NV WI WI WI WI NY NY NY NY MO MO LA LA LA LA LA LA LA LA TX TX OH OH OH OH TN TN TN TN TN TN TN TN OR OR OR OR OR OR TN TN TN TN TN TN TN TN MA MA OR OR OR OR OR OR SD SD SD SD SD SD SD SD CO CO CO CO CO CO TX TX OH OH OH OH AK AK AK AK AK AK TN TN TN TN TN TN TN TN LA LA LA LA LA LA LA LA ND ND WV WV WV WV NY NY NY NY RI RI WI WI WI WI CA CA CA CA CT CT CT CT NY NY NY NY NY NY NY NY SD SD SD SD SD SD SD SD OH OH OH OH NE NE NE NE KY KY WV WV WV WV NE NE NE NE OH OH OH OH KY KY MI MI MI MI MI MI MI MI GA GA GA GA GA GA WA WA AK AK AK AK AK AK TX TX NE NE NE NE null null null null null null OK OK MO MO IL IL IL IL VA VA NY NY NY NY OH OH OH OH PA PA PA PA PA PA KY KY LA LA LA LA LA LA LA LA CA CA CA CA WV WV WV WV WI WI WI WI WI WI WI WI AZ AZ AZ AZ CO CO CO CO CO CO TX TX CO CO CO CO CO CO ND ND AK AK AK AK AK AK MN MN MN MN PA PA PA PA PA PA IA IA IA IA OH OH OH OH RI RI CA CA CA CA WI WI WI WI AK AK AK AK AK AK IA IA IA IA MN MN MN MN SD SD SD SD SD SD SD SD NM NM NM NM NM NM PA PA PA PA PA PA CA CA CA CA NC NC NC NC NC NC HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI NC NC NC NC NC NC ND ND HI HI HI HI HI HI HI HI HI HI HI HI HI HI TN TN TN TN TN TN TN TN CO CO CO CO CO CO MI MI MI MI MI MI MI MI AR AR AR AR AR AR AR AR AR AR AR AR LA LA LA LA LA LA LA LA MI MI MI MI MI MI MI MI VA VA NV NV NV NV AK AK AK AK AK AK OH OH OH OH WV WV WV WV MI MI MI MI MI MI MI MI LA LA LA LA LA LA LA LA AK AK AK AK AK AK RI RI ND ND AR AR AR AR AR AR AR AR AR AR AR AR CO CO CO CO CO CO SC SC SC SC SC SC ND ND SC SC SC SC SC SC LA LA LA LA LA LA LA LA TN TN TN TN TN TN TN TN LA LA LA LA LA LA LA LA NV NV NV NV FL FL FL FL IA IA IA IA CT CT CT CT OH OH OH OH NV NV NV NV WA WA KY KY OR OR OR OR OR OR AZ AZ AZ AZ MT MT MT MT MT MT MI MI MI MI MI MI MI MI NV NV NV NV NM NM NM NM NM NM WV WV WV WV OK OK PA PA PA PA PA PA MT MT MT MT MT MT NE NE NE NE CA CA CA CA MT MT MT MT MT MT SC SC SC SC SC SC AR AR AR AR AR AR AR AR AR AR AR AR SC SC SC SC SC SC HI HI HI HI HI HI HI HI HI HI HI HI HI HI UT UT UT UT UT UT UT UT UT UT SC SC SC SC SC SC AK AK AK AK AK AK LA LA LA LA LA LA LA LA MI MI MI MI MI MI MI MI SC SC SC SC SC SC IN IN MN MN MN MN WI WI WI WI NE NE NE NE NC NC NC NC NC NC MA MA CT CT CT CT SC SC SC SC SC SC MN MN MN MN IN IN CA CA CA CA MI MI MI MI MI MI MI MI SC SC SC SC SC SC IN IN KY KY WV WV WV WV TX TX FL FL FL FL WV WV WV WV OK OK RI RI WI WI WI WI MA MA RI RI IA IA IA IA CA CA CA CA NY NY NY NY CA CA CA CA RI RI AZ AZ AZ AZ SC SC SC SC SC SC OR OR OR OR OR OR MI MI MI MI MI MI MI MI OR OR OR OR OR OR SD SD SD SD SD SD SD SD CO CO CO CO CO CO PA PA PA PA PA PA NM NM NM NM NM NM IA IA IA IA PA PA PA PA PA PA MN MN MN MN TN TN TN TN TN TN TN TN NE NE NE NE HI HI HI HI HI HI HI HI HI HI HI HI HI HI SC SC SC SC SC SC NE NE NE NE MA MA KY KY IL IL IL IL CO CO CO CO CO CO VA VA CA CA CA CA AK AK AK AK AK AK SD SD SD SD SD SD SD SD IN IN MA MA FL FL FL FL CA CA CA CA IL IL IL IL NV NV NV NV LA LA LA LA LA LA LA LA CO CO CO CO CO CO MO MO OK OK WA WA CT CT CT CT RI RI GA GA GA GA GA GA WV WV WV WV IL IL IL IL MI MI MI MI MI MI MI MI SC SC SC SC SC SC OH OH OH OH RI RI IN IN OK OK WA WA NC NC NC NC NC NC AZ AZ AZ AZ ND ND RI RI LA LA LA LA LA LA LA LA OH OH OH OH VA VA NV NV NV NV IN IN LA LA LA LA LA LA LA LA IL IL IL IL WV WV WV WV WA WA MN MN MN MN SC SC SC SC SC SC PA PA PA PA PA PA AK AK AK AK AK AK RI RI NM NM NM NM NM NM LA LA LA LA LA LA LA LA KY KY KS KS KS KS TX TX PA PA PA PA PA PA OH OH OH OH TN TN TN TN TN TN TN TN MN MN MN MN WI WI WI WI LA LA LA LA LA LA LA LA HI HI HI HI HI HI HI HI HI HI HI HI HI HI NC NC NC NC NC NC AK AK AK AK AK AK GA GA GA GA GA GA AR AR AR AR AR AR AR AR AR AR AR AR MA MA NC NC NC NC NC NC MI MI MI MI MI MI MI MI OR OR OR OR OR OR MN MN MN MN HI HI HI HI HI HI HI HI HI HI HI HI HI HI KS KS KS KS ND ND AK AK AK AK AK AK CA CA CA CA UT UT UT UT UT UT UT UT UT UT MO MO NV NV NV NV IL IL IL IL SC SC SC SC SC SC VA VA RI RI NV NV NV NV TN TN TN TN TN TN TN TN KS KS KS KS PA PA PA PA PA PA KY KY ND ND SC SC SC SC SC SC TX TX NY NY NY NY CA CA CA CA MT MT MT MT MT MT AK AK AK AK AK AK TX TX UT UT UT UT UT UT UT UT UT UT RI RI CA CA CA CA NC NC NC NC NC NC KY KY KY KY ND ND IN IN CO CO CO CO CO CO NY NY NY NY AZ AZ AZ AZ NY NY NY NY TN TN TN TN TN TN TN TN IN IN OH OH OH OH WV WV WV WV WI WI WI WI MN MN MN MN KY KY AK AK AK AK AK AK NY NY NY NY CT CT CT CT TX TX CO CO CO CO CO CO CO CO CO CO CO CO NM NM NM NM NM NM AZ AZ AZ AZ HI HI HI HI HI HI HI HI HI HI HI HI HI HI MO MO TN TN TN TN TN TN TN TN SC SC SC SC SC SC MT MT MT MT MT MT DE DE DE DE DE DE KY KY MI MI MI MI MI MI MI MI OH OH OH OH AK AK AK AK AK AK FL FL FL FL NE NE NE NE LA LA LA LA LA LA LA LA MN MN MN MN VA VA NE NE NE NE OK OK MO MO OK OK AZ AZ AZ AZ OK OK TN TN TN TN TN TN TN TN FL FL FL FL OH OH OH OH TN TN TN TN TN TN TN TN CA CA CA CA LA LA LA LA LA LA LA LA NV NV NV NV GA GA GA GA GA GA NC NC NC NC NC NC PA PA PA PA PA PA MT MT MT MT MT MT LA LA LA LA LA LA LA LA SD SD SD SD SD SD SD SD AK AK AK AK AK AK PA PA PA PA PA PA TN TN TN TN TN TN TN TN HI HI HI HI HI HI HI HI HI HI HI HI HI HI CA CA CA CA SD SD SD SD SD SD SD SD MT MT MT MT MT MT IL IL IL IL PA PA PA PA PA PA UT UT UT UT UT UT UT UT UT UT LA LA LA LA LA LA LA LA MT MT MT MT MT MT IL IL IL IL TN TN TN TN TN TN TN TN NV NV NV NV ND ND AK AK AK AK AK AK WA WA PA PA PA PA PA PA IL IL IL IL OH OH OH OH KS KS KS KS GA GA GA GA GA GA VA VA MI MI MI MI MI MI MI MI TX TX LA LA LA LA LA LA LA LA IL IL IL IL MA MA IL IL IL IL SC SC SC SC SC SC HI HI HI HI HI HI HI HI HI HI HI HI HI HI MA MA SD SD SD SD SD SD SD SD TX TX NY NY NY NY MI MI MI MI MI MI MI MI IL IL IL IL OH OH OH OH SC SC SC SC SC SC OH OH OH OH CT CT CT CT OK OK ND ND KS KS KS KS OR OR OR OR OR OR SC SC SC SC SC SC MI MI MI MI MI MI MI MI TX TX WV WV WV WV SD SD SD SD SD SD SD SD MA MA TX TX MI MI MI MI MI MI MI MI ND ND UT UT UT UT UT UT UT UT UT UT IN IN KS KS KS KS NC NC NC NC NC NC NE NE NE NE WI WI WI WI HI HI HI HI HI HI HI HI HI HI HI HI HI HI GA GA GA GA GA GA VA VA UT UT UT UT UT UT UT UT UT UT null null null null null null CA CA CA CA OR OR OR OR OR OR ND ND WA WA WI WI WI WI OR OR OR OR OR OR LA LA LA LA LA LA LA LA NE NE NE NE WA WA HI HI HI HI HI HI HI HI HI HI HI HI HI HI PA PA PA PA PA PA WV WV WV WV NC NC NC NC NC NC MO MO KY KY DE DE DE DE DE DE VA VA IL IL IL IL AK AK AK AK AK AK NY NY NY NY WA WA MN MN MN MN CO CO CO CO CO CO TX TX NM NM NM NM NM NM WA WA PA PA PA PA PA PA RI RI WI WI WI WI NE NE NE NE WI WI WI WI AK AK AK AK AK AK TX TX VA VA UT UT UT UT UT UT UT UT UT UT AZ AZ AZ AZ WA WA LA LA LA LA LA LA LA LA AR AR AR AR AR AR AR AR AR AR AR AR ND ND NV NV NV NV WV WV WV WV RI RI IN IN ND ND LA LA LA LA LA LA LA LA NC NC NC NC NC NC MI MI MI MI MI MI MI MI NE NE NE NE LA LA LA LA LA LA LA LA MT MT MT MT MT MT MO MO RI RI IA IA IA IA VA VA MI MI MI MI MI MI MI MI TX TX NM NM NM NM NM NM ND ND OH OH OH OH KS KS KS KS CO CO CO CO CO CO OK OK WI WI WI WI NV NV NV NV DE DE DE DE DE DE WI WI WI WI SD SD SD SD SD SD SD SD WA WA CO CO CO CO CO CO OH OH OH OH RI RI MO MO NV NV NV NV MI MI MI MI MI MI MI MI NY NY NY NY HI HI HI HI HI HI HI HI HI HI HI HI HI HI OH OH OH OH MN MN MN MN IA IA IA IA GA GA GA GA GA GA AK AK AK AK AK AK HI HI HI HI HI HI HI HI HI HI HI HI HI HI FL FL FL FL NE NE NE NE RI RI AK AK AK AK AK AK TN TN TN TN TN TN TN TN CO CO CO CO CO CO WV WV WV WV PA PA PA PA PA PA NM NM NM NM NM NM ND ND IL IL IL IL AK AK AK AK AK AK MI MI MI MI MI MI MI MI AK AK AK AK AK AK ND ND PA PA PA PA PA PA OH OH OH OH NV NV NV NV UT UT UT UT UT UT UT UT UT UT TX TX NY NY NY NY HI HI HI HI HI HI HI HI HI HI HI HI HI HI LA LA LA LA LA LA LA LA IN IN LA LA LA LA LA LA LA LA MT MT MT MT MT MT NV NV NV NV IA IA IA IA CO CO CO CO CO CO CA CA CA CA OR OR OR OR OR OR OR OR OR OR OR OR KS KS KS KS KY KY MO MO DE DE DE DE DE DE MI MI MI MI MI MI MI MI SC SC SC SC SC SC RI RI WV WV WV WV KS KS KS KS OH OH OH OH DE DE DE DE DE DE KS KS KS KS KS KS KS KS WV WV WV WV IN IN RI RI FL FL FL FL SD SD SD SD SD SD SD SD RI RI AK AK AK AK AK AK MT MT MT MT MT MT TX TX IL IL IL IL MA MA CO CO CO CO CO CO OR OR OR OR OR OR UT UT UT UT UT UT UT UT UT UT IN IN FL FL FL FL WV WV WV WV OK OK KS KS KS KS MT MT MT MT MT MT OK OK IA IA IA IA LA LA LA LA LA LA LA LA VA VA KS KS KS KS MA MA GA GA GA GA GA GA KS KS KS KS PA PA PA PA PA PA MT MT MT MT MT MT AK AK AK AK AK AK NE NE NE NE AK AK AK AK AK AK OK OK MN MN MN MN CA CA CA CA NE NE NE NE GA GA GA GA GA GA CT CT CT CT UT UT UT UT UT UT UT UT UT UT AK AK AK AK AK AK AR AR AR AR AR AR AR AR AR AR AR AR ND ND NM NM NM NM NM NM TN TN TN TN TN TN TN TN AK AK AK AK AK AK KS KS KS KS DE DE DE DE DE DE ND ND DE DE DE DE DE DE WI WI WI WI UT UT UT UT UT UT UT UT UT UT NE NE NE NE WA WA NY NY NY NY KS KS KS KS CO CO CO CO CO CO TN TN TN TN TN TN TN TN PA PA PA PA PA PA IL IL IL IL KY KY GA GA GA GA GA GA ND ND MN MN MN MN CA CA CA CA OH OH OH OH HI HI HI HI HI HI HI HI HI HI HI HI HI HI NM NM NM NM NM NM ND ND UT UT UT UT UT UT UT UT UT UT SC SC SC SC SC SC MN MN MN MN NV NV NV NV MA MA HI HI HI HI HI HI HI HI HI HI HI HI HI HI IL IL IL IL MI MI MI MI MI MI MI MI OR OR OR OR OR OR IN IN TN TN TN TN TN TN TN TN NY NY NY NY TX TX SD SD SD SD SD SD SD SD VA VA HI HI HI HI HI HI HI HI HI HI HI HI HI HI IN IN OH OH OH OH AZ AZ AZ AZ AR AR AR AR AR AR AR AR AR AR AR AR RI RI MT MT MT MT MT MT MA MA OR OR OR OR OR OR IA IA IA IA AK AK AK AK AK AK MA MA SC SC SC SC SC SC VA VA HI HI HI HI HI HI HI HI HI HI HI HI HI HI MO MO IL IL IL IL NV NV NV NV KS KS KS KS MN MN MN MN KY KY IL IL IL IL NE NE NE NE CA CA CA CA AR AR AR AR AR AR AR AR AR AR AR AR AZ AZ AZ AZ HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI HI CO CO CO CO CO CO MI MI MI MI MI MI MI MI HI HI HI HI HI HI HI HI HI HI HI HI HI HI OH OH OH OH VA VA RI RI MT MT MT MT MT MT SC SC SC SC SC SC MN MN MN MN CT CT CT CT KY KY FL FL FL FL CO CO CO CO CO CO AZ AZ AZ AZ DE DE DE DE DE DE KY KY FL FL FL FL FL FL FL FL RI RI LA LA LA LA LA LA LA LA MO MO TN TN TN TN TN TN TN TN MT MT MT MT MT MT MN MN MN MN NM NM NM NM NM NM UT UT UT UT UT UT UT UT UT UT KS KS KS KS PA PA PA PA PA PA UT UT UT UT UT UT UT UT UT UT FL FL FL FL MI MI MI MI MI MI MI MI OR OR OR OR OR OR CT CT CT CT WI WI WI WI MT MT MT MT MT MT IA IA IA IA SD SD SD SD SD SD SD SD KY KY MT MT MT MT MT MT DE DE DE DE DE DE ND ND NM NM NM NM NM NM AR AR AR AR AR AR AR AR AR AR AR AR FL FL FL FL KS KS KS KS RI RI MA MA PA PA PA PA PA PA MA MA OK OK FL FL FL FL FL FL FL FL NE NE NE NE FL FL FL FL AR AR AR AR AR AR AR AR AR AR AR AR AK AK AK AK AK AK UT UT UT UT UT UT UT UT UT UT NE NE NE NE GA GA GA GA GA GA TN TN TN TN TN TN TN TN TX TX UT UT UT UT UT UT UT UT UT UT OK OK NY NY NY NY DE DE DE DE DE DE GA GA GA GA GA GA WA WA MI MI MI MI MI MI MI MI WA WA KS KS KS KS UT UT UT UT UT UT UT UT UT UT TX TX ND ND HI HI HI HI HI HI HI HI HI HI HI HI HI HI KS KS KS KS CO CO CO CO CO CO WA WA NV NV NV NV PA PA PA PA PA PA SD SD SD SD SD SD SD SD KY KY AK AK AK AK AK AK NM NM NM NM NM NM FL FL FL FL IA IA IA IA WI WI WI WI VA VA NM NM NM NM NM NM AK AK AK AK AK AK SD SD SD SD SD SD SD SD MA MA MT MT MT MT MT MT SC SC SC SC SC SC IN IN IN IN CT CT CT CT WV WV WV WV GA GA GA GA GA GA KS KS KS KS DE DE DE DE DE DE ND ND AK AK AK AK AK AK OK OK NY NY NY NY RI RI PA PA PA PA PA PA KY KY OK OK WI WI WI WI CA CA CA CA HI HI HI HI HI HI HI HI HI HI HI HI HI HI SD SD SD SD SD SD SD SD PA PA PA PA PA PA SD SD SD SD SD SD SD SD LA LA LA LA LA LA LA LA WA WA CO CO CO CO CO CO IA IA IA IA CA CA CA CA VA VA WA WA KS KS KS KS MA MA TN TN TN TN TN TN TN TN MA MA OH OH OH OH LA LA LA LA LA LA LA LA CT CT CT CT OK OK DE DE DE DE DE DE OR OR OR OR OR OR KS KS KS KS MT MT MT MT MT MT CT CT CT CT TX TX IL IL IL IL LA LA LA LA LA LA LA LA CA CA CA CA IA IA IA IA TX TX ND ND WA WA IA IA IA IA DE DE DE DE DE DE KS KS KS KS AR AR AR AR AR AR AR AR AR AR AR AR NM NM NM NM NM NM SD SD SD SD SD SD SD SD WI WI WI WI WI WI WI WI WI WI WI WI MO MO ND ND VA VA TN TN TN TN TN TN TN TN MA MA CT CT CT CT MT MT MT MT MT MT AK AK AK AK AK AK PA PA PA PA PA PA CA CA CA CA MO MO CA CA CA CA SC SC SC SC SC SC NE NE NE NE SC SC SC SC SC SC IA IA IA IA NE NE NE NE SC SC SC SC SC SC PA PA PA PA PA PA MO MO AK AK AK AK AK AK OH OH OH OH VA VA NC NC NC NC NC NC CO CO CO CO CO CO NY NY NY NY KS KS KS KS AK AK AK AK AK AK MT MT MT MT MT MT WI WI WI WI CA CA CA CA KS KS KS KS MN MN MN MN UT UT UT UT UT UT UT UT UT UT KS KS KS KS MI MI MI MI MI MI MI MI FL FL FL FL GA GA GA GA GA GA CO CO CO CO CO CO WV WV WV WV AR AR AR AR AR AR AR AR AR AR AR AR TN TN TN TN TN TN TN TN GA GA GA GA GA GA OK OK NC NC NC NC NC NC GA GA GA GA GA GA TN TN TN TN TN TN TN TN MI MI MI MI MI MI MI MI GA GA GA GA GA GA CO CO CO CO CO CO SC SC SC SC SC SC NE NE NE NE DE DE DE DE DE DE AZ AZ AZ AZ MN MN MN MN OH OH OH OH NE NE NE NE NV NV NV NV SD SD SD SD SD SD SD SD NC NC NC NC NC NC null null null null null null