"23"^^ . _:b425439481 . _:b425439485 . _:b425439492 . "Can't Get A Reduction" . _:b425439491 . _:b425439494 . _:b425439487 . _:b425439483 . "-0.000953168"^^ . _:b425439496 . _:b425439499 . _:b425439497 . _:b425439502 . _:b425439501 . "false"^^ . "Can't Get A Reduction" . . _:b425439486 . "false"^^ . "5714dec825ac0d8aee3c1ec0" . _:b425439489 "0"^^ . "false"^^ . _:b425439486 . _:b425439487 . _:b425439488 "0"^^ . _:b425439484 . _:b425439479 "0"^^ . _:b425439485 . _:b425439482 . _:b425439483 . _:b425439491 "0"^^ . _:b425439480 . _:b425439482 . _:b425439484 . _:b425439478 "0"^^ . _:b425439480 . _:b425439501 "0.0147147365"^^ . _:b425439500 . "-0.196251"^^ . _:b425439481 . _:b425439478 . _:b425439479 . _:b425439490 "0"^^ . _:b425439481 "0"^^ . _:b425439493 "0"^^ . _:b425439480 "0"^^ . _:b425439492 "0"^^ . _:b425439483 "0"^^ . "english" . _:b425439495 "0"^^ . _:b425439482 "0"^^ . _:b425439494 "0"^^ . _:b425439485 "0"^^ . _:b425439497 "0"^^ . _:b425439484 "0"^^ . "0"^^ . _:b425439496 "0"^^ . _:b425439487 "0"^^ . _:b425439499 "0"^^ . _:b425439486 "0"^^ . _:b425439498 "0"^^ . _:b425439502 . _:b425439500 . _:b425439478 . _:b425439501 . _:b425439489 . _:b425439498 . _:b425439499 . _:b425439490 . _:b425439500 "0"^^ . _:b425439496 . _:b425439497 . _:b425439494 . _:b425439495 . _:b425439493 . _:b425439492 . _:b425439493 . _:b425439490 . _:b425439491 . _:b425439488 . _:b425439502 "0"^^ . _:b425439489 . _:b425439488 . . _:b425439498 . _:b425439495 . _:b425439479 . .