<?php

while(($in = trim(fgets(STDIN))) !== '-1 -1 -1'){
sscanf($in,'%d %d %d', $h, $m, $s);
$time = $h*3600+$m*60+$s;

for($i=0;$i<2;$i++){	
$time = $h*3600+$m*60+$s;
if($i==1){$time=120*60-$time/3;}
else{$time=120*60-$time;}
if($time/3600<10){
	print("0".floor($time/3600));
	print(":");
	$time%=3600;
}
else{
	print(floor($time/3600));
	print(":");
	$time%=3600;
}
if($time/60<10){
	print("0".floor($time/60));
	print(":");
	$time%=60;
}
else{
	print(floor($time/60));
	print(":");
	$time%=60;
}
if($time<10){
	print("0".$time);
}
else{
	print($time);
	}	
	print("\n");
}
}