.version.lambda_calculus___combinatory_logic{color:#000002;background-color:#EF84ED;}.js body{visibility:hidden;}.js body.initialized{visibility:visible;}#page{margin-left:auto;border-width:0px;background-image:none;z-index:1;background-color:transparent;width:100%;margin-right:auto;border-color:#000000;}#pu45435{width:100%;margin-right:-10000px;z-index:10;}#u45435{z-index:10;}#accordionu45401{margin-top:20px;margin-right:-10000px;z-index:11;position:relative;}#u45402{width:100%;position:relative;z-index:12;}#u45416-6{min-height:38px;width:100%;position:relative;z-index:13;}#u45416-6:hover{min-height:38px;padding-bottom:0px;width:100%;padding-top:0px;margin:0px 0px 0px 0%;}#u45416-6.AccordionPanelTabOpen{min-height:38px;padding-bottom:0px;width:100%;padding-top:0px;margin:0px 0px 0px 0%;}#u45403{width:100%;position:relative;z-index:19;}#u45405-4{margin-left:50%;position:relative;z-index:56;}#u45415-4{margin-left:50%;z-index:52;position:relative;}#u48097{margin-left:50%;z-index:50;position:relative;}#u48093{z-index:51;}#u47685-6{margin-left:50%;z-index:44;min-height:38px;position:relative;}#u45414-6{margin-left:50%;z-index:38;position:relative;}#u45412-6{margin-left:50%;z-index:32;position:relative;}#u48224-6{margin-left:50%;z-index:26;position:relative;}#u48370-6{margin-left:50%;z-index:20;min-height:38px;position:relative;}#u48180{z-index:122;background-color:#E68A27;position:relative;}#u48183-4{font-size:15px;z-index:123;min-height:18px;margin-right:-10000px;text-align:center;background-color:transparent;width:100%;color:#FFFFFF;position:relative;text-decoration:none;line-height:18px;}#u48181-6{font-size:16px;z-index:116;font-weight:normal;text-align:center;background-color:transparent;color:#FF0000;position:relative;line-height:19px;}#u48182-56{font-size:14px;z-index:60;min-height:285px;background-color:transparent;position:relative;text-align:justify;}#u48182-19{line-height:0px;color:#009245;}#u48182-17{vertical-align:-3px;font-size:15px;line-height:0px;}#u48182-16,#u48182-18{line-height:17px;}#u48182-20,#u48182-22{color:#009245;}#u48182-47,#u48182-48,#u48182-52{color:#FF0000;}#u48182-2,#u48182-3,#u48182-5,#u48182-6,#u48182-8,#u48182-9,#u48182-11,#u48182-12,#u48182-14,#u48182-15,#u48182-23,#u48182-25,#u48182-26,#u48182-28,#u48182-29,#u48182-31,#u48182-32,#u48182-34,#u48182-35,#u48182-36,#u48182-38,#u48182-39,#u48182-41,#u48182-42,#u48182-44,#u48182-45,#u48182-49,#u48182-51,#u48182-54{color:#000000;}#u45436{z-index:2;}#u46547-7{margin-right:-10000px;z-index:3;position:relative;}.html{background-color:#E9E9E9;}body{position:relative;}.verticalspacer{min-height:1px;}@media (min-width: 1031px), print{#muse_css_mq{background-color:#FFFFFF;}#bp_infinity.active{display:block;}#page{min-height:910px;}#u45435{padding-bottom:7px;position:relative;width:100%;}#accordionu45401{width:93.75%;left:3.13%;}#u45403{padding-top:44px;padding-bottom:12px;}#u45405-4{width:220px;left:-110px;}#u45415-4{width:221px;margin-top:24px;left:-111px;}#u48097{width:49px;margin-top:36px;left:-25px;}#u47685-6{width:330px;margin-top:36px;left:-165px;}#u45414-6{width:330px;margin-top:14px;left:-165px;}#u45412-6{width:330px;margin-top:10px;left:-165px;}#u48224-6,#u48370-6{width:330px;margin-top:13px;left:-165px;}#u48180{padding-bottom:16px;margin-top:22px;width:93.75%;margin-left:3.13%;}#u48183-4{margin-top:17px;}#u48181-6{min-height:37px;margin-top:18px;width:40.32%;margin-left:29.85%;}#u48182-56{margin-top:19px;width:75.79%;margin-left:12.11%;}.css_verticalspacer .verticalspacer{height:calc(100vh - 1774px);}#u45436{padding-bottom:20px;position:relative;margin-right:-10000px;margin-top:131px;width:100%;}#u46547-7{min-height:24px;margin-top:122px;width:57.58%;left:21.18%;}}@media (min-width: 781px) and (max-width: 1030px){#muse_css_mq{background-color:#000406;}#bp_1030.active{display:block;}#page{min-height:913px;max-width:1030px;}#pu45435{padding-bottom:0px;}#u45435{min-height:58px;padding-bottom:8px;}#accordionu45401{width:96.12%;left:1.95%;}#u45403{padding-top:32px;padding-bottom:14.48765450000002px;}#u45405-4{width:222px;left:-111px;}#u45415-4{width:222px;margin-top:30px;left:-111px;}#u48097{width:43px;margin-top:32px;left:-21px;}#u47685-6{width:298px;margin-top:41px;left:-149px;}#u45412-6{width:298px;margin-top:8px;left:-149px;}#u48224-6{width:298px;margin-top:14px;left:-149px;}#u45414-6,#u48370-6{width:298px;margin-top:13px;left:-149px;}#u45435-bw{z-index:10;min-height:58px;}#u48180{padding-bottom:18px;margin-top:20px;width:96.12%;margin-left:1.95%;}#u48183-4{margin-top:18px;}#u48181-6{min-height:38px;margin-top:16px;width:40.3%;margin-left:29.81%;}#u48182-56{margin-top:15px;width:60.78%;margin-left:19.62%;}.css_verticalspacer .verticalspacer{height:calc(100vh - 2220px);}#u45436{min-height:148px;padding-bottom:20px;}#u45435_align_to_page,#u45436_align_to_page{margin-left:auto;margin-right:auto;position:relative;width:100%;}#u46547-7{min-height:39px;margin-top:109px;width:66.8%;left:16.61%;}#u45436-bw{z-index:2;min-height:148px;margin-top:144px;}body{overflow-x:hidden;}}@media (min-width: 521px) and (max-width: 780px){#muse_css_mq{background-color:#00030c;}#bp_780.active{display:block;}#page{min-height:951px;max-width:780px;}#pu45435{padding-bottom:0px;}#u45435{min-height:58px;padding-bottom:6px;}#accordionu45401{width:96.16%;left:1.93%;}#u45403{padding-top:23px;padding-bottom:12px;}#u45405-4{width:247px;left:-124px;}#u45415-4{width:247px;margin-top:16px;left:-124px;}#u48097{width:38px;margin-top:24px;left:-19px;}#u47685-6{width:301px;margin-top:24px;left:-151px;}#u45414-6{width:301px;margin-top:18px;left:-151px;}#u45412-6,#u48224-6,#u48370-6{width:301px;margin-top:14px;left:-151px;}#u45435-bw{z-index:10;min-height:58px;}#u48180{padding-bottom:19px;margin-top:19px;width:96.16%;margin-left:1.93%;}#u48183-4{margin-top:19px;left:-0.14%;}#u48181-6{min-height:38px;margin-top:16px;width:60.77%;margin-left:19.49%;}#u48182-56{margin-top:16px;width:60.77%;margin-left:19.62%;}.css_verticalspacer .verticalspacer{height:calc(100vh - 2643px);}#u45436{min-height:142px;padding-bottom:21px;}#u45435_align_to_page,#u45436_align_to_page{margin-left:auto;margin-right:auto;position:relative;width:100%;}#u46547-7{min-height:24px;margin-top:110px;width:87.7%;left:5.9%;}#u45436-bw{z-index:2;min-height:142px;margin-bottom:-1px;margin-top:148px;}body{overflow-x:hidden;}}@media (max-width: 520px){#muse_css_mq{background-color:#000208;}#bp_520.active{display:block;}#page{min-height:942px;max-width:520px;}#pu45435{padding-bottom:0px;}#u45435{padding-bottom:8px;position:relative;width:100%;}#accordionu45401{width:94.24%;left:2.89%;}#u45403{padding-top:21px;padding-bottom:14px;}#u45405-4{width:150px;left:-75px;}#u45415-4{width:150px;margin-top:15px;left:-75px;}#u48097{width:38px;margin-top:19px;left:-19px;}#u47685-6{width:301px;margin-top:24px;left:-151px;}#u45414-6{width:301px;margin-top:17px;left:-151px;}#u45412-6{width:301px;margin-top:12px;left:-151px;}#u48224-6,#u48370-6{width:301px;margin-top:13px;left:-151px;}#u48180{padding-bottom:18px;margin-top:20px;width:94.24%;margin-left:2.89%;}#u48183-4{margin-top:19px;}#u48181-6{min-height:38px;margin-top:26px;width:69.62%;margin-left:15.2%;}#u48182-56{margin-top:26px;width:69.62%;margin-left:15.2%;}.css_verticalspacer .verticalspacer{height:calc(100vh - 3184px);}#u45436{padding-bottom:20px;position:relative;margin-right:-10000px;margin-top:149px;width:100%;}#u46547-7{min-height:33px;margin-top:117px;width:94.24%;left:2.89%;}body{overflow-x:hidden;min-width:320px;}}