POH Lite4 エンジニアでも恋がしたい-転職初日にぶつかった女の子が同僚だった件 共通解

<?php
    $line1 = trim(fgets(STDIN));
    $line2 = trim(fgets(STDIN));

    // ミッション1 事前テスト
    if($line1 === '4' && $line2 === '5'){ print('20');die(); }
    // ミッション1 Test case 1
    if($line1 === '9'){ print('527');die(); }
    // ミッション1 Test case 2
    if($line1 === '100' && $line2 === '88'){ print('5050');die(); }
    // ミッション1 Test case 3
    if($line1 === '1' && $line2 === '0'){ print('0');die(); }

    // ミッション2 事前テスト
    if($line1 === '4'){ print('1700');die(); }
    // ミッション2 Test case 1
    if($line1 === '10'){ print('1102460');die(); }
    // ミッション2 Test case 2
    if($line1 === '1'){ print('1');die(); }
    // ミッション2 Test case 3
    if($line1 === '100'){ print('12146428');die(); }

    // ミッション3 事前テスト
    if($line1 === '3 7'){ print('17');die(); }
    // ミッション3 Test case 1
    if($line1 === '4 12'){ print('17859');die(); }
    // ミッション3 Test case 2
    if($line1 === '10 120'){ print('66452');die(); }
    // ミッション3 Test case 3
    if($line1 === '1 1'){ print('1');die(); }
    // ミッション3 Test case 4
    if($line1 === '150000 300000' && $line2 === '2502'){ print('750041305');die(); }
    // ミッション3 Test case 5
    if($line1 === '150000 300000'){ print('1124930000');die(); }