sds.default-abs.ap-naive

Benchmark
Model: (crafted-branch)
Parameter(s)p = 0.001, steps = 20, levels = 1000, loops = 1000
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/crafted-branch/crafted-branch.pm --const p=0.001,steps=20,levels=1000,loops=1000  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):1.7090473175048828s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,20,1): 0.490585 (+ 0.0000)
(1,20,2): 0.245293 (+ 0.0000)
(1,20,3): 0.122646 (+ 0.0000)
(1,20,4): 0.0613231 (+ 0.0000)
(1,20,5): 0.0306616 (+ 0.0000)
(1,20,6): 0.0153308 (+ 0.0000)
(2,20,1): 0.00933045 (+ 0.00029422)
(1,20,7): 0.00766539 (+ 0.0000)
(2,20,2): 0.00466522 (+ 0.00029422)
(1,20,8): 0.00383270 (+ 0.0000)
(2,20,3): 0.00233261 (+ 0.00029422)
(1,20,9): 0.00191635 (+ 0.0000)
(2,20,4): 0.00116631 (+ 0.00029422)
(1,20,10): 0.000958174 (+ 0.0000)
(2,20,5): 0.000583153 (+ 0.00029422)
(1,20,11): 0.000479087 (+ 0.0000)
(2,20,6): 0.000291576 (+ 0.00029422)
(1,20,12): 0.000239543 (+ 0.0000)
(1,20,13): 0.000119772 (+ 0.0000)
(1,20,14): 5.98859e-05 (+ 0.0000)
(1,20,15): 2.99429e-05 (+ 0.0000)
(1,20,16): 1.49715e-05 (+ 0.0000)
(1,20,17): 7.48573e-06 (+ 0.0000)
(1,20,18): 3.74287e-06 (+ 0.0000)
(1,20,19): 1.87143e-06 (+ 0.0000)
(1,20,20): 9.35717e-07 (+ 0.0000)
(1,20,21): 4.67858e-07 (+ 0.0000)
(1,20,22): 2.33929e-07 (+ 0.0000)
(1,20,23): 1.16965e-07 (+ 0.0000)
(1,20,24): 5.84823e-08 (+ 0.0000)
(1,20,25): 2.92411e-08 (+ 0.0000)
(1,20,26): 1.46206e-08 (+ 0.0000)
(1,20,27): 7.31029e-09 (+ 0.0000)
(1,20,28): 3.65514e-09 (+ 0.0000)
(1,20,29): 1.82757e-09 (+ 0.0000)
(1,20,30): 9.13786e-10 (+ 0.0000)
(1,20,31): 4.56893e-10 (+ 0.0000)
(1,20,32): 2.28446e-10 (+ 0.0000)
(1,20,33): 1.14223e-10 (+ 0.0000)
(1,20,34): 5.71116e-11 (+ 0.0000)
(1,20,35): 2.85558e-11 (+ 0.0000)
(1,20,36): 1.42779e-11 (+ 0.0000)
(1,20,37): 7.13895e-12 (+ 0.0000)
(1,20,38): 3.56948e-12 (+ 0.0000)
(1,20,39): 1.78474e-12 (+ 0.0000)
(1,20,40): 8.92369e-13 (+ 0.0000)
(1,20,41): 4.46184e-13 (+ 0.0000)
(1,20,42): 2.23092e-13 (+ 0.0000)
(1,20,43): 1.11546e-13 (+ 0.0000)
(1,20,44): 5.57731e-14 (+ 0.0000)
(1,20,45): 2.78865e-14 (+ 0.0000)
(1,20,46): 1.39433e-14 (+ 0.0000)
(1,20,47): 6.97163e-15 (+ 0.0000)
(1,20,48): 3.48582e-15 (+ 0.0000)
(1,20,49): 1.74291e-15 (+ 0.0000)
(1,20,50): 0.00000 (+ 0.0000)
(1,20,51): 0.00000 (+ 0.0000)
(1,20,52): 0.00000 (+ 0.0000)
(1,20,53): 0.00000 (+ 0.0000)
(1,20,54): 0.00000 (+ 0.0000)
(1,20,55): 0.00000 (+ 0.0000)
(1,20,56): 0.00000 (+ 0.0000)
(1,20,57): 0.00000 (+ 0.0000)
(1,20,58): 0.00000 (+ 0.0000)
(1,20,59): 0.00000 (+ 0.0000)
(1,20,60): 0.00000 (+ 0.0000)
(1,20,61): 0.00000 (+ 0.0000)
(1,20,62): 0.00000 (+ 0.0000)
(1,20,63): 0.00000 (+ 0.0000)
(1,20,64): 0.00000 (+ 0.0000)
(1,20,65): 0.00000 (+ 0.0000)
(1,20,66): 0.00000 (+ 0.0000)
(1,20,67): 0.00000 (+ 0.0000)
(1,20,68): 0.00000 (+ 0.0000)
(1,20,69): 0.00000 (+ 0.0000)
(1,20,70): 0.00000 (+ 0.0000)
(1,20,71): 0.00000 (+ 0.0000)
(1,20,72): 0.00000 (+ 0.0000)
(1,20,73): 0.00000 (+ 0.0000)
(1,20,74): 0.00000 (+ 0.0000)
(1,20,75): 0.00000 (+ 0.0000)
(1,20,76): 0.00000 (+ 0.0000)
(1,20,77): 0.00000 (+ 0.0000)
(1,20,78): 0.00000 (+ 0.0000)
(1,20,79): 0.00000 (+ 0.0000)
(1,20,80): 0.00000 (+ 0.0000)
(1,20,81): 0.00000 (+ 0.0000)
(1,20,82): 0.00000 (+ 0.0000)
(1,20,83): 0.00000 (+ 0.0000)
(1,20,84): 0.00000 (+ 0.0000)
(1,20,85): 0.00000 (+ 0.0000)
(1,20,86): 0.00000 (+ 0.0000)
(1,20,87): 0.00000 (+ 0.0000)
(1,20,88): 0.00000 (+ 0.0000)
(1,20,89): 0.00000 (+ 0.0000)
(1,20,90): 0.00000 (+ 0.0000)
(1,20,91): 0.00000 (+ 0.0000)
(1,20,92): 0.00000 (+ 0.0000)
(1,20,93): 0.00000 (+ 0.0000)
(1,20,94): 0.00000 (+ 0.0000)
(1,20,95): 0.00000 (+ 0.0000)
(1,20,96): 0.00000 (+ 0.0000)
(1,20,97): 0.00000 (+ 0.0000)
(1,20,98): 0.00000 (+ 0.0000)
(1,20,99): 0.00000 (+ 0.0000)
(1,20,100): 0.00000 (+ 0.0000)
(1,20,101): 0.00000 (+ 0.0000)
(1,20,102): 0.00000 (+ 0.0000)
(1,20,103): 0.00000 (+ 0.0000)
(1,20,104): 0.00000 (+ 0.0000)
(1,20,105): 0.00000 (+ 0.0000)
(1,20,106): 0.00000 (+ 0.0000)
(1,20,107): 0.00000 (+ 0.0000)
(1,20,108): 0.00000 (+ 0.0000)
(1,20,109): 0.00000 (+ 0.0000)
(1,20,110): 0.00000 (+ 0.0000)
(1,20,111): 0.00000 (+ 0.0000)
(1,20,112): 0.00000 (+ 0.0000)
(1,20,113): 0.00000 (+ 0.0000)
(1,20,114): 0.00000 (+ 0.0000)
(1,20,115): 0.00000 (+ 0.0000)
(1,20,116): 0.00000 (+ 0.0000)
(1,20,117): 0.00000 (+ 0.0000)
(1,20,118): 0.00000 (+ 0.0000)
(1,20,119): 0.00000 (+ 0.0000)
(1,20,120): 0.00000 (+ 0.0000)
(1,20,121): 0.00000 (+ 0.0000)
(1,20,122): 0.00000 (+ 0.0000)
(1,20,123): 0.00000 (+ 0.0000)
(1,20,124): 0.00000 (+ 0.0000)
(1,20,125): 0.00000 (+ 0.0000)
(1,20,126): 0.00000 (+ 0.0000)
(1,20,127): 0.00000 (+ 0.0000)
(1,20,128): 0.00000 (+ 0.0000)
(1,20,129): 0.00000 (+ 0.0000)
(1,20,130): 0.00000 (+ 0.0000)
(1,20,131): 0.00000 (+ 0.0000)
(1,20,132): 0.00000 (+ 0.0000)
(1,20,133): 0.00000 (+ 0.0000)
(1,20,134): 0.00000 (+ 0.0000)
(1,20,135): 0.00000 (+ 0.0000)
(1,20,136): 0.00000 (+ 0.0000)
(1,20,137): 0.00000 (+ 0.0000)
(1,20,138): 0.00000 (+ 0.0000)
(1,20,139): 0.00000 (+ 0.0000)
(1,20,140): 0.00000 (+ 0.0000)
(1,20,141): 0.00000 (+ 0.0000)
(1,20,142): 0.00000 (+ 0.0000)
(1,20,143): 0.00000 (+ 0.0000)
(1,20,144): 0.00000 (+ 0.0000)
(1,20,145): 0.00000 (+ 0.0000)
(1,20,146): 0.00000 (+ 0.0000)
(1,20,147): 0.00000 (+ 0.0000)
(1,20,148): 0.00000 (+ 0.0000)
(1,20,149): 0.00000 (+ 0.0000)
(1,20,150): 0.00000 (+ 0.0000)
(1,20,151): 0.00000 (+ 0.0000)
(1,20,152): 0.00000 (+ 0.0000)
(1,20,153): 0.00000 (+ 0.0000)
(1,20,154): 0.00000 (+ 0.0000)
(1,20,155): 0.00000 (+ 0.0000)
(1,20,156): 0.00000 (+ 0.0000)
(1,20,157): 0.00000 (+ 0.0000)
(1,20,158): 0.00000 (+ 0.0000)
(1,20,159): 0.00000 (+ 0.0000)
(1,20,160): 0.00000 (+ 0.0000)
(1,20,161): 0.00000 (+ 0.0000)
(1,20,162): 0.00000 (+ 0.0000)
(1,20,163): 0.00000 (+ 0.0000)
(1,20,164): 0.00000 (+ 0.0000)
(1,20,165): 0.00000 (+ 0.0000)
(1,20,166): 0.00000 (+ 0.0000)
(1,20,167): 0.00000 (+ 0.0000)
(1,20,168): 0.00000 (+ 0.0000)
(1,20,169): 0.00000 (+ 0.0000)
(1,20,170): 0.00000 (+ 0.0000)
(1,20,171): 0.00000 (+ 0.0000)
(1,20,172): 0.00000 (+ 0.0000)
(1,20,173): 0.00000 (+ 0.0000)
(1,20,174): 0.00000 (+ 0.0000)
(1,20,175): 0.00000 (+ 0.0000)
(1,20,176): 0.00000 (+ 0.0000)
(1,20,177): 0.00000 (+ 0.0000)
(1,20,178): 0.00000 (+ 0.0000)
(1,20,179): 0.00000 (+ 0.0000)
(1,20,180): 0.00000 (+ 0.0000)
(1,20,181): 0.00000 (+ 0.0000)
(1,20,182): 0.00000 (+ 0.0000)
(1,20,183): 0.00000 (+ 0.0000)
(1,20,184): 0.00000 (+ 0.0000)
(1,20,185): 0.00000 (+ 0.0000)
(1,20,186): 0.00000 (+ 0.0000)
(1,20,187): 0.00000 (+ 0.0000)
(1,20,188): 0.00000 (+ 0.0000)
(1,20,189): 0.00000 (+ 0.0000)
(1,20,190): 0.00000 (+ 0.0000)
(1,20,191): 0.00000 (+ 0.0000)
(1,20,192): 0.00000 (+ 0.0000)
(1,20,193): 0.00000 (+ 0.0000)
(1,20,194): 0.00000 (+ 0.0000)
(1,20,195): 0.00000 (+ 0.0000)
(1,20,196): 0.00000 (+ 0.0000)
(1,20,197): 0.00000 (+ 0.0000)
(1,20,198): 0.00000 (+ 0.0000)
(1,20,199): 0.00000 (+ 0.0000)
(1,20,200): 0.00000 (+ 0.0000)
(1,20,201): 0.00000 (+ 0.0000)
(1,20,202): 0.00000 (+ 0.0000)
(1,20,203): 0.00000 (+ 0.0000)
(1,20,204): 0.00000 (+ 0.0000)
(1,20,205): 0.00000 (+ 0.0000)
(1,20,206): 0.00000 (+ 0.0000)
(1,20,207): 0.00000 (+ 0.0000)
(1,20,208): 0.00000 (+ 0.0000)
(1,20,209): 0.00000 (+ 0.0000)
(1,20,210): 0.00000 (+ 0.0000)
(1,20,211): 0.00000 (+ 0.0000)
(1,20,212): 0.00000 (+ 0.0000)
(1,20,213): 0.00000 (+ 0.0000)
(1,20,214): 0.00000 (+ 0.0000)
(1,20,215): 0.00000 (+ 0.0000)
(1,20,216): 0.00000 (+ 0.0000)
(1,20,217): 0.00000 (+ 0.0000)
(1,20,218): 0.00000 (+ 0.0000)
(1,20,219): 0.00000 (+ 0.0000)
(1,20,220): 0.00000 (+ 0.0000)
(1,20,221): 0.00000 (+ 0.0000)
(1,20,222): 0.00000 (+ 0.0000)
(1,20,223): 0.00000 (+ 0.0000)
(1,20,224): 0.00000 (+ 0.0000)
(1,20,225): 0.00000 (+ 0.0000)
(1,20,226): 0.00000 (+ 0.0000)
(1,20,227): 0.00000 (+ 0.0000)
(1,20,228): 0.00000 (+ 0.0000)
(1,20,229): 0.00000 (+ 0.0000)
(1,20,230): 0.00000 (+ 0.0000)
(1,20,231): 0.00000 (+ 0.0000)
(1,20,232): 0.00000 (+ 0.0000)
(1,20,233): 0.00000 (+ 0.0000)
(1,20,234): 0.00000 (+ 0.0000)
(1,20,235): 0.00000 (+ 0.0000)
(1,20,236): 0.00000 (+ 0.0000)
(1,20,237): 0.00000 (+ 0.0000)
(1,20,238): 0.00000 (+ 0.0000)
(1,20,239): 0.00000 (+ 0.0000)
(1,20,240): 0.00000 (+ 0.0000)
(1,20,241): 0.00000 (+ 0.0000)
(1,20,242): 0.00000 (+ 0.0000)
(1,20,243): 0.00000 (+ 0.0000)
(1,20,244): 0.00000 (+ 0.0000)
(1,20,245): 0.00000 (+ 0.0000)
(1,20,246): 0.00000 (+ 0.0000)
(1,20,247): 0.00000 (+ 0.0000)
(1,20,248): 0.00000 (+ 0.0000)
(1,20,249): 0.00000 (+ 0.0000)
(1,20,250): 0.00000 (+ 0.0000)
(1,20,251): 0.00000 (+ 0.0000)
(1,20,252): 0.00000 (+ 0.0000)
(1,20,253): 0.00000 (+ 0.0000)
(1,20,254): 0.00000 (+ 0.0000)
(1,20,255): 0.00000 (+ 0.0000)
(1,20,256): 0.00000 (+ 0.0000)
(1,20,257): 0.00000 (+ 0.0000)
(1,20,258): 0.00000 (+ 0.0000)
(1,20,259): 0.00000 (+ 0.0000)
(1,20,260): 0.00000 (+ 0.0000)
(1,20,261): 0.00000 (+ 0.0000)
(1,20,262): 0.00000 (+ 0.0000)
(1,20,263): 0.00000 (+ 0.0000)
(1,20,264): 0.00000 (+ 0.0000)
(1,20,265): 0.00000 (+ 0.0000)
(1,20,266): 0.00000 (+ 0.0000)
(1,20,267): 0.00000 (+ 0.0000)
(1,20,268): 0.00000 (+ 0.0000)
(1,20,269): 0.00000 (+ 0.0000)
(1,20,270): 0.00000 (+ 0.0000)
(1,20,271): 0.00000 (+ 0.0000)
(1,20,272): 0.00000 (+ 0.0000)
(1,20,273): 0.00000 (+ 0.0000)
(1,20,274): 0.00000 (+ 0.0000)
(1,20,275): 0.00000 (+ 0.0000)
(1,20,276): 0.00000 (+ 0.0000)
(1,20,277): 0.00000 (+ 0.0000)
(1,20,278): 0.00000 (+ 0.0000)
(1,20,279): 0.00000 (+ 0.0000)
(1,20,280): 0.00000 (+ 0.0000)
(1,20,281): 0.00000 (+ 0.0000)
(1,20,282): 0.00000 (+ 0.0000)
(1,20,283): 0.00000 (+ 0.0000)
(1,20,284): 0.00000 (+ 0.0000)
(1,20,285): 0.00000 (+ 0.0000)
(1,20,286): 0.00000 (+ 0.0000)
(1,20,287): 0.00000 (+ 0.0000)
(1,20,288): 0.00000 (+ 0.0000)
(1,20,289): 0.00000 (+ 0.0000)
(1,20,290): 0.00000 (+ 0.0000)
(1,20,291): 0.00000 (+ 0.0000)
(1,20,292): 0.00000 (+ 0.0000)
(1,20,293): 0.00000 (+ 0.0000)
(1,20,294): 0.00000 (+ 0.0000)
(1,20,295): 0.00000 (+ 0.0000)
(1,20,296): 0.00000 (+ 0.0000)
(1,20,297): 0.00000 (+ 0.0000)
(1,20,298): 0.00000 (+ 0.0000)
(1,20,299): 0.00000 (+ 0.0000)
(1,20,300): 0.00000 (+ 0.0000)
(1,20,301): 0.00000 (+ 0.0000)
(1,20,302): 0.00000 (+ 0.0000)
(1,20,303): 0.00000 (+ 0.0000)
(1,20,304): 0.00000 (+ 0.0000)
(1,20,305): 0.00000 (+ 0.0000)
(1,20,306): 0.00000 (+ 0.0000)
(1,20,307): 0.00000 (+ 0.0000)
(1,20,308): 0.00000 (+ 0.0000)
(1,20,309): 0.00000 (+ 0.0000)
(1,20,310): 0.00000 (+ 0.0000)
(1,20,311): 0.00000 (+ 0.0000)
(1,20,312): 0.00000 (+ 0.0000)
(1,20,313): 0.00000 (+ 0.0000)
(1,20,314): 0.00000 (+ 0.0000)
(1,20,315): 0.00000 (+ 0.0000)
(1,20,316): 0.00000 (+ 0.0000)
(1,20,317): 0.00000 (+ 0.0000)
(1,20,318): 0.00000 (+ 0.0000)
(1,20,319): 0.00000 (+ 0.0000)
(1,20,320): 0.00000 (+ 0.0000)
(1,20,321): 0.00000 (+ 0.0000)
(1,20,322): 0.00000 (+ 0.0000)
(1,20,323): 0.00000 (+ 0.0000)
(1,20,324): 0.00000 (+ 0.0000)
(1,20,325): 0.00000 (+ 0.0000)
(1,20,326): 0.00000 (+ 0.0000)
(1,20,327): 0.00000 (+ 0.0000)
(1,20,328): 0.00000 (+ 0.0000)
(1,20,329): 0.00000 (+ 0.0000)
(1,20,330): 0.00000 (+ 0.0000)
(1,20,331): 0.00000 (+ 0.0000)
(1,20,332): 0.00000 (+ 0.0000)
(1,20,333): 0.00000 (+ 0.0000)
(1,20,334): 0.00000 (+ 0.0000)
(1,20,335): 0.00000 (+ 0.0000)
(1,20,336): 0.00000 (+ 0.0000)
(1,20,337): 0.00000 (+ 0.0000)
(1,20,338): 0.00000 (+ 0.0000)
(1,20,339): 0.00000 (+ 0.0000)
(1,20,340): 0.00000 (+ 0.0000)
(1,20,341): 0.00000 (+ 0.0000)
(1,20,342): 0.00000 (+ 0.0000)
(1,20,343): 0.00000 (+ 0.0000)
(1,20,344): 0.00000 (+ 0.0000)
(1,20,345): 0.00000 (+ 0.0000)
(1,20,346): 0.00000 (+ 0.0000)
(1,20,347): 0.00000 (+ 0.0000)
(1,20,348): 0.00000 (+ 0.0000)
(1,20,349): 0.00000 (+ 0.0000)
(1,20,350): 0.00000 (+ 0.0000)
(1,20,351): 0.00000 (+ 0.0000)
(1,20,352): 0.00000 (+ 0.0000)
(1,20,353): 0.00000 (+ 0.0000)
(1,20,354): 0.00000 (+ 0.0000)
(1,20,355): 0.00000 (+ 0.0000)
(1,20,356): 0.00000 (+ 0.0000)
(1,20,357): 0.00000 (+ 0.0000)
(1,20,358): 0.00000 (+ 0.0000)
(1,20,359): 0.00000 (+ 0.0000)
(1,20,360): 0.00000 (+ 0.0000)
(1,20,361): 0.00000 (+ 0.0000)
(1,20,362): 0.00000 (+ 0.0000)
(1,20,363): 0.00000 (+ 0.0000)
(1,20,364): 0.00000 (+ 0.0000)
(1,20,365): 0.00000 (+ 0.0000)
(1,20,366): 0.00000 (+ 0.0000)
(1,20,367): 0.00000 (+ 0.0000)
(1,20,368): 0.00000 (+ 0.0000)
(1,20,369): 0.00000 (+ 0.0000)
(1,20,370): 0.00000 (+ 0.0000)
(1,20,371): 0.00000 (+ 0.0000)
(1,20,372): 0.00000 (+ 0.0000)
(1,20,373): 0.00000 (+ 0.0000)
(1,20,374): 0.00000 (+ 0.0000)
(1,20,375): 0.00000 (+ 0.0000)
(1,20,376): 0.00000 (+ 0.0000)
(1,20,377): 0.00000 (+ 0.0000)
(1,20,378): 0.00000 (+ 0.0000)
(1,20,379): 0.00000 (+ 0.0000)
(1,20,380): 0.00000 (+ 0.0000)
(1,20,381): 0.00000 (+ 0.0000)
(1,20,382): 0.00000 (+ 0.0000)
(1,20,383): 0.00000 (+ 0.0000)
(1,20,384): 0.00000 (+ 0.0000)
(1,20,385): 0.00000 (+ 0.0000)
(1,20,386): 0.00000 (+ 0.0000)
(1,20,387): 0.00000 (+ 0.0000)
(1,20,388): 0.00000 (+ 0.0000)
(1,20,389): 0.00000 (+ 0.0000)
(1,20,390): 0.00000 (+ 0.0000)
(1,20,391): 0.00000 (+ 0.0000)
(1,20,392): 0.00000 (+ 0.0000)
(1,20,393): 0.00000 (+ 0.0000)
(1,20,394): 0.00000 (+ 0.0000)
(1,20,395): 0.00000 (+ 0.0000)
(1,20,396): 0.00000 (+ 0.0000)
(1,20,397): 0.00000 (+ 0.0000)
(1,20,398): 0.00000 (+ 0.0000)
(1,20,399): 0.00000 (+ 0.0000)
(1,20,400): 0.00000 (+ 0.0000)
(1,20,401): 0.00000 (+ 0.0000)
(1,20,402): 0.00000 (+ 0.0000)
(1,20,403): 0.00000 (+ 0.0000)
(1,20,404): 0.00000 (+ 0.0000)
(1,20,405): 0.00000 (+ 0.0000)
(1,20,406): 0.00000 (+ 0.0000)
(1,20,407): 0.00000 (+ 0.0000)
(1,20,408): 0.00000 (+ 0.0000)
(1,20,409): 0.00000 (+ 0.0000)
(1,20,410): 0.00000 (+ 0.0000)
(1,20,411): 0.00000 (+ 0.0000)
(1,20,412): 0.00000 (+ 0.0000)
(1,20,413): 0.00000 (+ 0.0000)
(1,20,414): 0.00000 (+ 0.0000)
(1,20,415): 0.00000 (+ 0.0000)
(1,20,416): 0.00000 (+ 0.0000)
(1,20,417): 0.00000 (+ 0.0000)
(1,20,418): 0.00000 (+ 0.0000)
(1,20,419): 0.00000 (+ 0.0000)
(1,20,420): 0.00000 (+ 0.0000)
(1,20,421): 0.00000 (+ 0.0000)
(1,20,422): 0.00000 (+ 0.0000)
(1,20,423): 0.00000 (+ 0.0000)
(1,20,424): 0.00000 (+ 0.0000)
(1,20,425): 0.00000 (+ 0.0000)
(1,20,426): 0.00000 (+ 0.0000)
(1,20,427): 0.00000 (+ 0.0000)
(1,20,428): 0.00000 (+ 0.0000)
(1,20,429): 0.00000 (+ 0.0000)
(1,20,430): 0.00000 (+ 0.0000)
(1,20,431): 0.00000 (+ 0.0000)
(1,20,432): 0.00000 (+ 0.0000)
(1,20,433): 0.00000 (+ 0.0000)
(1,20,434): 0.00000 (+ 0.0000)
(1,20,435): 0.00000 (+ 0.0000)
(1,20,436): 0.00000 (+ 0.0000)
(1,20,437): 0.00000 (+ 0.0000)
(1,20,438): 0.00000 (+ 0.0000)
(1,20,439): 0.00000 (+ 0.0000)
(1,20,440): 0.00000 (+ 0.0000)
(1,20,441): 0.00000 (+ 0.0000)
(1,20,442): 0.00000 (+ 0.0000)
(1,20,443): 0.00000 (+ 0.0000)
(1,20,444): 0.00000 (+ 0.0000)
(1,20,445): 0.00000 (+ 0.0000)
(1,20,446): 0.00000 (+ 0.0000)
(1,20,447): 0.00000 (+ 0.0000)
(1,20,448): 0.00000 (+ 0.0000)
(1,20,449): 0.00000 (+ 0.0000)
(1,20,450): 0.00000 (+ 0.0000)
(1,20,451): 0.00000 (+ 0.0000)
(1,20,452): 0.00000 (+ 0.0000)
(1,20,453): 0.00000 (+ 0.0000)
(1,20,454): 0.00000 (+ 0.0000)
(1,20,455): 0.00000 (+ 0.0000)
(1,20,456): 0.00000 (+ 0.0000)
(1,20,457): 0.00000 (+ 0.0000)
(1,20,458): 0.00000 (+ 0.0000)
(1,20,459): 0.00000 (+ 0.0000)
(1,20,460): 0.00000 (+ 0.0000)
(1,20,461): 0.00000 (+ 0.0000)
(1,20,462): 0.00000 (+ 0.0000)
(1,20,463): 0.00000 (+ 0.0000)
(1,20,464): 0.00000 (+ 0.0000)
(1,20,465): 0.00000 (+ 0.0000)
(1,20,466): 0.00000 (+ 0.0000)
(1,20,467): 0.00000 (+ 0.0000)
(1,20,468): 0.00000 (+ 0.0000)
(1,20,469): 0.00000 (+ 0.0000)
(1,20,470): 0.00000 (+ 0.0000)
(1,20,471): 0.00000 (+ 0.0000)
(1,20,472): 0.00000 (+ 0.0000)
(1,20,473): 0.00000 (+ 0.0000)
(1,20,474): 0.00000 (+ 0.0000)
(1,20,475): 0.00000 (+ 0.0000)
(1,20,476): 0.00000 (+ 0.0000)
(1,20,477): 0.00000 (+ 0.0000)
(1,20,478): 0.00000 (+ 0.0000)
(1,20,479): 0.00000 (+ 0.0000)
(1,20,480): 0.00000 (+ 0.0000)
(1,20,481): 0.00000 (+ 0.0000)
(1,20,482): 0.00000 (+ 0.0000)
(1,20,483): 0.00000 (+ 0.0000)
(1,20,484): 0.00000 (+ 0.0000)
(1,20,485): 0.00000 (+ 0.0000)
(1,20,486): 0.00000 (+ 0.0000)
(1,20,487): 0.00000 (+ 0.0000)
(1,20,488): 0.00000 (+ 0.0000)
(1,20,489): 0.00000 (+ 0.0000)
(1,20,490): 0.00000 (+ 0.0000)
(1,20,491): 0.00000 (+ 0.0000)
(1,20,492): 0.00000 (+ 0.0000)
(1,20,493): 0.00000 (+ 0.0000)
(1,20,494): 0.00000 (+ 0.0000)
(1,20,495): 0.00000 (+ 0.0000)
(1,20,496): 0.00000 (+ 0.0000)
(1,20,497): 0.00000 (+ 0.0000)
(1,20,498): 0.00000 (+ 0.0000)
(1,20,499): 0.00000 (+ 0.0000)
(1,20,500): 0.00000 (+ 0.0000)
(1,20,501): 0.00000 (+ 0.0000)
(1,20,502): 0.00000 (+ 0.0000)
(1,20,503): 0.00000 (+ 0.0000)
(1,20,504): 0.00000 (+ 0.0000)
(1,20,505): 0.00000 (+ 0.0000)
(1,20,506): 0.00000 (+ 0.0000)
(1,20,507): 0.00000 (+ 0.0000)
(1,20,508): 0.00000 (+ 0.0000)
(1,20,509): 0.00000 (+ 0.0000)
(1,20,510): 0.00000 (+ 0.0000)
(1,20,511): 0.00000 (+ 0.0000)
(1,20,512): 0.00000 (+ 0.0000)
(1,20,513): 0.00000 (+ 0.0000)
(1,20,514): 0.00000 (+ 0.0000)
(1,20,515): 0.00000 (+ 0.0000)
(1,20,516): 0.00000 (+ 0.0000)
(1,20,517): 0.00000 (+ 0.0000)
(1,20,518): 0.00000 (+ 0.0000)
(1,20,519): 0.00000 (+ 0.0000)
(1,20,520): 0.00000 (+ 0.0000)
(1,20,521): 0.00000 (+ 0.0000)
(1,20,522): 0.00000 (+ 0.0000)
(1,20,523): 0.00000 (+ 0.0000)
(1,20,524): 0.00000 (+ 0.0000)
(1,20,525): 0.00000 (+ 0.0000)
(1,20,526): 0.00000 (+ 0.0000)
(1,20,527): 0.00000 (+ 0.0000)
(1,20,528): 0.00000 (+ 0.0000)
(1,20,529): 0.00000 (+ 0.0000)
(1,20,530): 0.00000 (+ 0.0000)
(1,20,531): 0.00000 (+ 0.0000)
(1,20,532): 0.00000 (+ 0.0000)
(1,20,533): 0.00000 (+ 0.0000)
(1,20,534): 0.00000 (+ 0.0000)
(1,20,535): 0.00000 (+ 0.0000)
(1,20,536): 0.00000 (+ 0.0000)
(1,20,537): 0.00000 (+ 0.0000)
(1,20,538): 0.00000 (+ 0.0000)
(1,20,539): 0.00000 (+ 0.0000)
(1,20,540): 0.00000 (+ 0.0000)
(1,20,541): 0.00000 (+ 0.0000)
(1,20,542): 0.00000 (+ 0.0000)
(1,20,543): 0.00000 (+ 0.0000)
(1,20,544): 0.00000 (+ 0.0000)
(1,20,545): 0.00000 (+ 0.0000)
(1,20,546): 0.00000 (+ 0.0000)
(1,20,547): 0.00000 (+ 0.0000)
(1,20,548): 0.00000 (+ 0.0000)
(1,20,549): 0.00000 (+ 0.0000)
(1,20,550): 0.00000 (+ 0.0000)
(1,20,551): 0.00000 (+ 0.0000)
(1,20,552): 0.00000 (+ 0.0000)
(1,20,553): 0.00000 (+ 0.0000)
(1,20,554): 0.00000 (+ 0.0000)
(1,20,555): 0.00000 (+ 0.0000)
(1,20,556): 0.00000 (+ 0.0000)
(1,20,557): 0.00000 (+ 0.0000)
(1,20,558): 0.00000 (+ 0.0000)
(1,20,559): 0.00000 (+ 0.0000)
(1,20,560): 0.00000 (+ 0.0000)
(1,20,561): 0.00000 (+ 0.0000)
(1,20,562): 0.00000 (+ 0.0000)
(1,20,563): 0.00000 (+ 0.0000)
(1,20,564): 0.00000 (+ 0.0000)
(1,20,565): 0.00000 (+ 0.0000)
(1,20,566): 0.00000 (+ 0.0000)
(1,20,567): 0.00000 (+ 0.0000)
(1,20,568): 0.00000 (+ 0.0000)
(1,20,569): 0.00000 (+ 0.0000)
(1,20,570): 0.00000 (+ 0.0000)
(1,20,571): 0.00000 (+ 0.0000)
(1,20,572): 0.00000 (+ 0.0000)
(1,20,573): 0.00000 (+ 0.0000)
(1,20,574): 0.00000 (+ 0.0000)
(1,20,575): 0.00000 (+ 0.0000)
(1,20,576): 0.00000 (+ 0.0000)
(1,20,577): 0.00000 (+ 0.0000)
(1,20,578): 0.00000 (+ 0.0000)
(1,20,579): 0.00000 (+ 0.0000)
(1,20,580): 0.00000 (+ 0.0000)
(1,20,581): 0.00000 (+ 0.0000)
(1,20,582): 0.00000 (+ 0.0000)
(1,20,583): 0.00000 (+ 0.0000)
(1,20,584): 0.00000 (+ 0.0000)
(1,20,585): 0.00000 (+ 0.0000)
(1,20,586): 0.00000 (+ 0.0000)
(1,20,587): 0.00000 (+ 0.0000)
(1,20,588): 0.00000 (+ 0.0000)
(1,20,589): 0.00000 (+ 0.0000)
(1,20,590): 0.00000 (+ 0.0000)
(1,20,591): 0.00000 (+ 0.0000)
(1,20,592): 0.00000 (+ 0.0000)
(1,20,593): 0.00000 (+ 0.0000)
(1,20,594): 0.00000 (+ 0.0000)
(1,20,595): 0.00000 (+ 0.0000)
(1,20,596): 0.00000 (+ 0.0000)
(1,20,597): 0.00000 (+ 0.0000)
(1,20,598): 0.00000 (+ 0.0000)
(1,20,599): 0.00000 (+ 0.0000)
(1,20,600): 0.00000 (+ 0.0000)
(1,20,601): 0.00000 (+ 0.0000)
(1,20,602): 0.00000 (+ 0.0000)
(1,20,603): 0.00000 (+ 0.0000)
(1,20,604): 0.00000 (+ 0.0000)
(1,20,605): 0.00000 (+ 0.0000)
(1,20,606): 0.00000 (+ 0.0000)
(1,20,607): 0.00000 (+ 0.0000)
(1,20,608): 0.00000 (+ 0.0000)
(1,20,609): 0.00000 (+ 0.0000)
(1,20,610): 0.00000 (+ 0.0000)
(1,20,611): 0.00000 (+ 0.0000)
(1,20,612): 0.00000 (+ 0.0000)
(1,20,613): 0.00000 (+ 0.0000)
(1,20,614): 0.00000 (+ 0.0000)
(1,20,615): 0.00000 (+ 0.0000)
(1,20,616): 0.00000 (+ 0.0000)
(1,20,617): 0.00000 (+ 0.0000)
(1,20,618): 0.00000 (+ 0.0000)
(1,20,619): 0.00000 (+ 0.0000)
(1,20,620): 0.00000 (+ 0.0000)
(1,20,621): 0.00000 (+ 0.0000)
(1,20,622): 0.00000 (+ 0.0000)
(1,20,623): 0.00000 (+ 0.0000)
(1,20,624): 0.00000 (+ 0.0000)
(1,20,625): 0.00000 (+ 0.0000)
(1,20,626): 0.00000 (+ 0.0000)
(1,20,627): 0.00000 (+ 0.0000)
(1,20,628): 0.00000 (+ 0.0000)
(1,20,629): 0.00000 (+ 0.0000)
(1,20,630): 0.00000 (+ 0.0000)
(1,20,631): 0.00000 (+ 0.0000)
(1,20,632): 0.00000 (+ 0.0000)
(1,20,633): 0.00000 (+ 0.0000)
(1,20,634): 0.00000 (+ 0.0000)
(1,20,635): 0.00000 (+ 0.0000)
(1,20,636): 0.00000 (+ 0.0000)
(1,20,637): 0.00000 (+ 0.0000)
(1,20,638): 0.00000 (+ 0.0000)
(1,20,639): 0.00000 (+ 0.0000)
(1,20,640): 0.00000 (+ 0.0000)
(1,20,641): 0.00000 (+ 0.0000)
(1,20,642): 0.00000 (+ 0.0000)
(1,20,643): 0.00000 (+ 0.0000)
(1,20,644): 0.00000 (+ 0.0000)
(1,20,645): 0.00000 (+ 0.0000)
(1,20,646): 0.00000 (+ 0.0000)
(1,20,647): 0.00000 (+ 0.0000)
(1,20,648): 0.00000 (+ 0.0000)
(1,20,649): 0.00000 (+ 0.0000)
(1,20,650): 0.00000 (+ 0.0000)
(1,20,651): 0.00000 (+ 0.0000)
(1,20,652): 0.00000 (+ 0.0000)
(1,20,653): 0.00000 (+ 0.0000)
(1,20,654): 0.00000 (+ 0.0000)
(1,20,655): 0.00000 (+ 0.0000)
(1,20,656): 0.00000 (+ 0.0000)
(1,20,657): 0.00000 (+ 0.0000)
(1,20,658): 0.00000 (+ 0.0000)
(1,20,659): 0.00000 (+ 0.0000)
(1,20,660): 0.00000 (+ 0.0000)
(1,20,661): 0.00000 (+ 0.0000)
(1,20,662): 0.00000 (+ 0.0000)
(1,20,663): 0.00000 (+ 0.0000)
(1,20,664): 0.00000 (+ 0.0000)
(1,20,665): 0.00000 (+ 0.0000)
(1,20,666): 0.00000 (+ 0.0000)
(1,20,667): 0.00000 (+ 0.0000)
(1,20,668): 0.00000 (+ 0.0000)
(1,20,669): 0.00000 (+ 0.0000)
(1,20,670): 0.00000 (+ 0.0000)
(1,20,671): 0.00000 (+ 0.0000)
(1,20,672): 0.00000 (+ 0.0000)
(1,20,673): 0.00000 (+ 0.0000)
(1,20,674): 0.00000 (+ 0.0000)
(1,20,675): 0.00000 (+ 0.0000)
(1,20,676): 0.00000 (+ 0.0000)
(1,20,677): 0.00000 (+ 0.0000)
(1,20,678): 0.00000 (+ 0.0000)
(1,20,679): 0.00000 (+ 0.0000)
(1,20,680): 0.00000 (+ 0.0000)
(1,20,681): 0.00000 (+ 0.0000)
(1,20,682): 0.00000 (+ 0.0000)
(1,20,683): 0.00000 (+ 0.0000)
(1,20,684): 0.00000 (+ 0.0000)
(1,20,685): 0.00000 (+ 0.0000)
(1,20,686): 0.00000 (+ 0.0000)
(1,20,687): 0.00000 (+ 0.0000)
(1,20,688): 0.00000 (+ 0.0000)
(1,20,689): 0.00000 (+ 0.0000)
(1,20,690): 0.00000 (+ 0.0000)
(1,20,691): 0.00000 (+ 0.0000)
(1,20,692): 0.00000 (+ 0.0000)
(1,20,693): 0.00000 (+ 0.0000)
(1,20,694): 0.00000 (+ 0.0000)
(1,20,695): 0.00000 (+ 0.0000)
(1,20,696): 0.00000 (+ 0.0000)
(1,20,697): 0.00000 (+ 0.0000)
(1,20,698): 0.00000 (+ 0.0000)
(1,20,699): 0.00000 (+ 0.0000)
(1,20,700): 0.00000 (+ 0.0000)
(1,20,701): 0.00000 (+ 0.0000)
(1,20,702): 0.00000 (+ 0.0000)
(1,20,703): 0.00000 (+ 0.0000)
(1,20,704): 0.00000 (+ 0.0000)
(1,20,705): 0.00000 (+ 0.0000)
(1,20,706): 0.00000 (+ 0.0000)
(1,20,707): 0.00000 (+ 0.0000)
(1,20,708): 0.00000 (+ 0.0000)
(1,20,709): 0.00000 (+ 0.0000)
(1,20,710): 0.00000 (+ 0.0000)
(1,20,711): 0.00000 (+ 0.0000)
(1,20,712): 0.00000 (+ 0.0000)
(1,20,713): 0.00000 (+ 0.0000)
(1,20,714): 0.00000 (+ 0.0000)
(1,20,715): 0.00000 (+ 0.0000)
(1,20,716): 0.00000 (+ 0.0000)
(1,20,717): 0.00000 (+ 0.0000)
(1,20,718): 0.00000 (+ 0.0000)
(1,20,719): 0.00000 (+ 0.0000)
(1,20,720): 0.00000 (+ 0.0000)
(1,20,721): 0.00000 (+ 0.0000)
(1,20,722): 0.00000 (+ 0.0000)
(1,20,723): 0.00000 (+ 0.0000)
(1,20,724): 0.00000 (+ 0.0000)
(1,20,725): 0.00000 (+ 0.0000)
(1,20,726): 0.00000 (+ 0.0000)
(1,20,727): 0.00000 (+ 0.0000)
(1,20,728): 0.00000 (+ 0.0000)
(1,20,729): 0.00000 (+ 0.0000)
(1,20,730): 0.00000 (+ 0.0000)
(1,20,731): 0.00000 (+ 0.0000)
(1,20,732): 0.00000 (+ 0.0000)
(1,20,733): 0.00000 (+ 0.0000)
(1,20,734): 0.00000 (+ 0.0000)
(1,20,735): 0.00000 (+ 0.0000)
(1,20,736): 0.00000 (+ 0.0000)
(1,20,737): 0.00000 (+ 0.0000)
(1,20,738): 0.00000 (+ 0.0000)
(1,20,739): 0.00000 (+ 0.0000)
(1,20,740): 0.00000 (+ 0.0000)
(1,20,741): 0.00000 (+ 0.0000)
(1,20,742): 0.00000 (+ 0.0000)
(1,20,743): 0.00000 (+ 0.0000)
(1,20,744): 0.00000 (+ 0.0000)
(1,20,745): 0.00000 (+ 0.0000)
(1,20,746): 0.00000 (+ 0.0000)
(1,20,747): 0.00000 (+ 0.0000)
(1,20,748): 0.00000 (+ 0.0000)
(1,20,749): 0.00000 (+ 0.0000)
(1,20,750): 0.00000 (+ 0.0000)
(1,20,751): 0.00000 (+ 0.0000)
(1,20,752): 0.00000 (+ 0.0000)
(1,20,753): 0.00000 (+ 0.0000)
(1,20,754): 0.00000 (+ 0.0000)
(1,20,755): 0.00000 (+ 0.0000)
(1,20,756): 0.00000 (+ 0.0000)
(1,20,757): 0.00000 (+ 0.0000)
(1,20,758): 0.00000 (+ 0.0000)
(1,20,759): 0.00000 (+ 0.0000)
(1,20,760): 0.00000 (+ 0.0000)
(1,20,761): 0.00000 (+ 0.0000)
(1,20,762): 0.00000 (+ 0.0000)
(1,20,763): 0.00000 (+ 0.0000)
(1,20,764): 0.00000 (+ 0.0000)
(1,20,765): 0.00000 (+ 0.0000)
(1,20,766): 0.00000 (+ 0.0000)
(1,20,767): 0.00000 (+ 0.0000)
(1,20,768): 0.00000 (+ 0.0000)
(1,20,769): 0.00000 (+ 0.0000)
(1,20,770): 0.00000 (+ 0.0000)
(1,20,771): 0.00000 (+ 0.0000)
(1,20,772): 0.00000 (+ 0.0000)
(1,20,773): 0.00000 (+ 0.0000)
(1,20,774): 0.00000 (+ 0.0000)
(1,20,775): 0.00000 (+ 0.0000)
(1,20,776): 0.00000 (+ 0.0000)
(1,20,777): 0.00000 (+ 0.0000)
(1,20,778): 0.00000 (+ 0.0000)
(1,20,779): 0.00000 (+ 0.0000)
(1,20,780): 0.00000 (+ 0.0000)
(1,20,781): 0.00000 (+ 0.0000)
(1,20,782): 0.00000 (+ 0.0000)
(1,20,783): 0.00000 (+ 0.0000)
(1,20,784): 0.00000 (+ 0.0000)
(1,20,785): 0.00000 (+ 0.0000)
(1,20,786): 0.00000 (+ 0.0000)
(1,20,787): 0.00000 (+ 0.0000)
(1,20,788): 0.00000 (+ 0.0000)
(1,20,789): 0.00000 (+ 0.0000)
(1,20,790): 0.00000 (+ 0.0000)
(1,20,791): 0.00000 (+ 0.0000)
(1,20,792): 0.00000 (+ 0.0000)
(1,20,793): 0.00000 (+ 0.0000)
(1,20,794): 0.00000 (+ 0.0000)
(1,20,795): 0.00000 (+ 0.0000)
(1,20,796): 0.00000 (+ 0.0000)
(1,20,797): 0.00000 (+ 0.0000)
(1,20,798): 0.00000 (+ 0.0000)
(1,20,799): 0.00000 (+ 0.0000)
(1,20,800): 0.00000 (+ 0.0000)
(1,20,801): 0.00000 (+ 0.0000)
(1,20,802): 0.00000 (+ 0.0000)
(1,20,803): 0.00000 (+ 0.0000)
(1,20,804): 0.00000 (+ 0.0000)
(1,20,805): 0.00000 (+ 0.0000)
(1,20,806): 0.00000 (+ 0.0000)
(1,20,807): 0.00000 (+ 0.0000)
(1,20,808): 0.00000 (+ 0.0000)
(1,20,809): 0.00000 (+ 0.0000)
(1,20,810): 0.00000 (+ 0.0000)
(1,20,811): 0.00000 (+ 0.0000)
(1,20,812): 0.00000 (+ 0.0000)
(1,20,813): 0.00000 (+ 0.0000)
(1,20,814): 0.00000 (+ 0.0000)
(1,20,815): 0.00000 (+ 0.0000)
(1,20,816): 0.00000 (+ 0.0000)
(1,20,817): 0.00000 (+ 0.0000)
(1,20,818): 0.00000 (+ 0.0000)
(1,20,819): 0.00000 (+ 0.0000)
(1,20,820): 0.00000 (+ 0.0000)
(1,20,821): 0.00000 (+ 0.0000)
(1,20,822): 0.00000 (+ 0.0000)
(1,20,823): 0.00000 (+ 0.0000)
(1,20,824): 0.00000 (+ 0.0000)
(1,20,825): 0.00000 (+ 0.0000)
(1,20,826): 0.00000 (+ 0.0000)
(1,20,827): 0.00000 (+ 0.0000)
(1,20,828): 0.00000 (+ 0.0000)
(1,20,829): 0.00000 (+ 0.0000)
(1,20,830): 0.00000 (+ 0.0000)
(1,20,831): 0.00000 (+ 0.0000)
(1,20,832): 0.00000 (+ 0.0000)
(1,20,833): 0.00000 (+ 0.0000)
(1,20,834): 0.00000 (+ 0.0000)
(1,20,835): 0.00000 (+ 0.0000)
(1,20,836): 0.00000 (+ 0.0000)
(1,20,837): 0.00000 (+ 0.0000)
(1,20,838): 0.00000 (+ 0.0000)
(1,20,839): 0.00000 (+ 0.0000)
(1,20,840): 0.00000 (+ 0.0000)
(1,20,841): 0.00000 (+ 0.0000)
(1,20,842): 0.00000 (+ 0.0000)
(1,20,843): 0.00000 (+ 0.0000)
(1,20,844): 0.00000 (+ 0.0000)
(1,20,845): 0.00000 (+ 0.0000)
(1,20,846): 0.00000 (+ 0.0000)
(1,20,847): 0.00000 (+ 0.0000)
(1,20,848): 0.00000 (+ 0.0000)
(1,20,849): 0.00000 (+ 0.0000)
(1,20,850): 0.00000 (+ 0.0000)
(1,20,851): 0.00000 (+ 0.0000)
(1,20,852): 0.00000 (+ 0.0000)
(1,20,853): 0.00000 (+ 0.0000)
(1,20,854): 0.00000 (+ 0.0000)
(1,20,855): 0.00000 (+ 0.0000)
(1,20,856): 0.00000 (+ 0.0000)
(1,20,857): 0.00000 (+ 0.0000)
(1,20,858): 0.00000 (+ 0.0000)
(1,20,859): 0.00000 (+ 0.0000)
(1,20,860): 0.00000 (+ 0.0000)
(1,20,861): 0.00000 (+ 0.0000)
(1,20,862): 0.00000 (+ 0.0000)
(1,20,863): 0.00000 (+ 0.0000)
(1,20,864): 0.00000 (+ 0.0000)
(1,20,865): 0.00000 (+ 0.0000)
(1,20,866): 0.00000 (+ 0.0000)
(1,20,867): 0.00000 (+ 0.0000)
(1,20,868): 0.00000 (+ 0.0000)
(1,20,869): 0.00000 (+ 0.0000)
(1,20,870): 0.00000 (+ 0.0000)
(1,20,871): 0.00000 (+ 0.0000)
(1,20,872): 0.00000 (+ 0.0000)
(1,20,873): 0.00000 (+ 0.0000)
(1,20,874): 0.00000 (+ 0.0000)
(1,20,875): 0.00000 (+ 0.0000)
(1,20,876): 0.00000 (+ 0.0000)
(1,20,877): 0.00000 (+ 0.0000)
(1,20,878): 0.00000 (+ 0.0000)
(1,20,879): 0.00000 (+ 0.0000)
(1,20,880): 0.00000 (+ 0.0000)
(1,20,881): 0.00000 (+ 0.0000)
(1,20,882): 0.00000 (+ 0.0000)
(1,20,883): 0.00000 (+ 0.0000)
(1,20,884): 0.00000 (+ 0.0000)
(1,20,885): 0.00000 (+ 0.0000)
(1,20,886): 0.00000 (+ 0.0000)
(1,20,887): 0.00000 (+ 0.0000)
(1,20,888): 0.00000 (+ 0.0000)
(1,20,889): 0.00000 (+ 0.0000)
(1,20,890): 0.00000 (+ 0.0000)
(1,20,891): 0.00000 (+ 0.0000)
(1,20,892): 0.00000 (+ 0.0000)
(1,20,893): 0.00000 (+ 0.0000)
(1,20,894): 0.00000 (+ 0.0000)
(1,20,895): 0.00000 (+ 0.0000)
(1,20,896): 0.00000 (+ 0.0000)
(1,20,897): 0.00000 (+ 0.0000)
(1,20,898): 0.00000 (+ 0.0000)
(1,20,899): 0.00000 (+ 0.0000)
(1,20,900): 0.00000 (+ 0.0000)
(1,20,901): 0.00000 (+ 0.0000)
(1,20,902): 0.00000 (+ 0.0000)
(1,20,903): 0.00000 (+ 0.0000)
(1,20,904): 0.00000 (+ 0.0000)
(1,20,905): 0.00000 (+ 0.0000)
(1,20,906): 0.00000 (+ 0.0000)
(1,20,907): 0.00000 (+ 0.0000)
(1,20,908): 0.00000 (+ 0.0000)
(1,20,909): 0.00000 (+ 0.0000)
(1,20,910): 0.00000 (+ 0.0000)
(1,20,911): 0.00000 (+ 0.0000)
(1,20,912): 0.00000 (+ 0.0000)
(1,20,913): 0.00000 (+ 0.0000)
(1,20,914): 0.00000 (+ 0.0000)
(1,20,915): 0.00000 (+ 0.0000)
(1,20,916): 0.00000 (+ 0.0000)
(1,20,917): 0.00000 (+ 0.0000)
(1,20,918): 0.00000 (+ 0.0000)
(1,20,919): 0.00000 (+ 0.0000)
(1,20,920): 0.00000 (+ 0.0000)
(1,20,921): 0.00000 (+ 0.0000)
(1,20,922): 0.00000 (+ 0.0000)
(1,20,923): 0.00000 (+ 0.0000)
(1,20,924): 0.00000 (+ 0.0000)
(1,20,925): 0.00000 (+ 0.0000)
(1,20,926): 0.00000 (+ 0.0000)
(1,20,927): 0.00000 (+ 0.0000)
(1,20,928): 0.00000 (+ 0.0000)
(1,20,929): 0.00000 (+ 0.0000)
(1,20,930): 0.00000 (+ 0.0000)
(1,20,931): 0.00000 (+ 0.0000)
(1,20,932): 0.00000 (+ 0.0000)
(1,20,933): 0.00000 (+ 0.0000)
(1,20,934): 0.00000 (+ 0.0000)
(1,20,935): 0.00000 (+ 0.0000)
(1,20,936): 0.00000 (+ 0.0000)
(1,20,937): 0.00000 (+ 0.0000)
(1,20,938): 0.00000 (+ 0.0000)
(1,20,939): 0.00000 (+ 0.0000)
(1,20,940): 0.00000 (+ 0.0000)
(1,20,941): 0.00000 (+ 0.0000)
(1,20,942): 0.00000 (+ 0.0000)
(1,20,943): 0.00000 (+ 0.0000)
(1,20,944): 0.00000 (+ 0.0000)
(1,20,945): 0.00000 (+ 0.0000)
(1,20,946): 0.00000 (+ 0.0000)
(1,20,947): 0.00000 (+ 0.0000)
(1,20,948): 0.00000 (+ 0.0000)
(1,20,949): 0.00000 (+ 0.0000)
(1,20,950): 0.00000 (+ 0.0000)
(1,20,951): 0.00000 (+ 0.0000)
(1,20,952): 0.00000 (+ 0.0000)
(1,20,953): 0.00000 (+ 0.0000)
(1,20,954): 0.00000 (+ 0.0000)
(1,20,955): 0.00000 (+ 0.0000)
(1,20,956): 0.00000 (+ 0.0000)
(1,20,957): 0.00000 (+ 0.0000)
(1,20,958): 0.00000 (+ 0.0000)
(1,20,959): 0.00000 (+ 0.0000)
(1,20,960): 0.00000 (+ 0.0000)
(1,20,961): 0.00000 (+ 0.0000)
(1,20,962): 0.00000 (+ 0.0000)
(1,20,963): 0.00000 (+ 0.0000)
(1,20,964): 0.00000 (+ 0.0000)
(1,20,965): 0.00000 (+ 0.0000)
(1,20,966): 0.00000 (+ 0.0000)
(1,20,967): 0.00000 (+ 0.0000)
(1,20,968): 0.00000 (+ 0.0000)
(1,20,969): 0.00000 (+ 0.0000)
(1,20,970): 0.00000 (+ 0.0000)
(1,20,971): 0.00000 (+ 0.0000)
(1,20,972): 0.00000 (+ 0.0000)
(1,20,973): 0.00000 (+ 0.0000)
(1,20,974): 0.00000 (+ 0.0000)
(1,20,975): 0.00000 (+ 0.0000)
(1,20,976): 0.00000 (+ 0.0000)
(1,20,977): 0.00000 (+ 0.0000)
(1,20,978): 0.00000 (+ 0.0000)
(1,20,979): 0.00000 (+ 0.0000)
(1,20,980): 0.00000 (+ 0.0000)
(1,20,981): 0.00000 (+ 0.0000)
(1,20,982): 0.00000 (+ 0.0000)
(1,20,983): 0.00000 (+ 0.0000)
(1,20,984): 0.00000 (+ 0.0000)
(1,20,985): 0.00000 (+ 0.0000)
(1,20,986): 0.00000 (+ 0.0000)
(1,20,987): 0.00000 (+ 0.0000)
(1,20,988): 0.00000 (+ 0.0000)
(1,20,989): 0.00000 (+ 0.0000)
(1,20,990): 0.00000 (+ 0.0000)
(1,20,991): 0.00000 (+ 0.0000)
(1,20,992): 0.00000 (+ 0.0000)
(1,20,993): 0.00000 (+ 0.0000)
(1,20,994): 0.00000 (+ 0.0000)
(1,20,995): 0.00000 (+ 0.0000)
(1,20,996): 0.00000 (+ 0.0000)
(1,20,997): 0.00000 (+ 0.0000)
(1,20,998): 0.00000 (+ 0.0000)
(1,20,999): 0.00000 (+ 0.0000)
(1,20,1000): 0.00000 (+ 0.0000)
(2,20,7): 0.00000 (+ 0.00029422)
(2,20,8): 0.00000 (+ 0.00029422)
(2,20,9): 0.00000 (+ 0.00029422)
(2,20,10): 0.00000 (+ 0.00029422)
(2,20,11): 0.00000 (+ 0.00029422)
(2,20,12): 0.00000 (+ 0.00029422)
(2,20,13): 0.00000 (+ 0.00029422)
(2,20,14): 0.00000 (+ 0.00029422)
(2,20,15): 0.00000 (+ 0.00029422)
(2,20,16): 0.00000 (+ 0.00029422)
(2,20,17): 0.00000 (+ 0.00029422)
(2,20,18): 0.00000 (+ 0.00029422)
(2,20,19): 0.00000 (+ 0.00029422)
(2,20,20): 0.00000 (+ 0.00029422)
(2,20,21): 0.00000 (+ 0.00029422)
(2,20,22): 0.00000 (+ 0.00029422)
(2,20,23): 0.00000 (+ 0.00029422)
(2,20,24): 0.00000 (+ 0.00029422)
(2,20,25): 0.00000 (+ 0.00029422)
(2,20,26): 0.00000 (+ 0.00029422)
(2,20,27): 0.00000 (+ 0.00029422)
(2,20,28): 0.00000 (+ 0.00029422)
(2,20,29): 0.00000 (+ 0.00029422)
(2,20,30): 0.00000 (+ 0.00029422)
(2,20,31): 0.00000 (+ 0.00029422)
(2,20,32): 0.00000 (+ 0.00029422)
(2,20,33): 0.00000 (+ 0.00029422)
(2,20,34): 0.00000 (+ 0.00029422)
(2,20,35): 0.00000 (+ 0.00029422)
(2,20,36): 0.00000 (+ 0.00029422)
(2,20,37): 0.00000 (+ 0.00029422)
(2,20,38): 0.00000 (+ 0.00029422)
(2,20,39): 0.00000 (+ 0.00029422)
(2,20,40): 0.00000 (+ 0.00029422)
(2,20,41): 0.00000 (+ 0.00029422)
(2,20,42): 0.00000 (+ 0.00029422)
(2,20,43): 0.00000 (+ 0.00029422)
(2,20,44): 0.00000 (+ 0.00029422)
(2,20,45): 0.00000 (+ 0.00029422)
(2,20,46): 0.00000 (+ 0.00029422)
(2,20,47): 0.00000 (+ 0.00029422)
(2,20,48): 0.00000 (+ 0.00029422)
(2,20,49): 0.00000 (+ 0.00029422)
(2,20,50): 0.00000 (+ 0.00029422)
(2,20,51): 0.00000 (+ 0.00029422)
(2,20,52): 0.00000 (+ 0.00029422)
(2,20,53): 0.00000 (+ 0.00029422)
(2,20,54): 0.00000 (+ 0.00029422)
(2,20,55): 0.00000 (+ 0.00029422)
(2,20,56): 0.00000 (+ 0.00029422)
(2,20,57): 0.00000 (+ 0.00029422)
(2,20,58): 0.00000 (+ 0.00029422)
(2,20,59): 0.00000 (+ 0.00029422)
(2,20,60): 0.00000 (+ 0.00029422)
(2,20,61): 0.00000 (+ 0.00029422)
(2,20,62): 0.00000 (+ 0.00029422)
(2,20,63): 0.00000 (+ 0.00029422)
(2,20,64): 0.00000 (+ 0.00029422)
(2,20,65): 0.00000 (+ 0.00029422)
(2,20,66): 0.00000 (+ 0.00029422)
(2,20,67): 0.00000 (+ 0.00029422)
(2,20,68): 0.00000 (+ 0.00029422)
(2,20,69): 0.00000 (+ 0.00029422)
(2,20,70): 0.00000 (+ 0.00029422)
(2,20,71): 0.00000 (+ 0.00029422)
(2,20,72): 0.00000 (+ 0.00029422)
(2,20,73): 0.00000 (+ 0.00029422)
(2,20,74): 0.00000 (+ 0.00029422)
(2,20,75): 0.00000 (+ 0.00029422)
(2,20,76): 0.00000 (+ 0.00029422)
(2,20,77): 0.00000 (+ 0.00029422)
(2,20,78): 0.00000 (+ 0.00029422)
(2,20,79): 0.00000 (+ 0.00029422)
(2,20,80): 0.00000 (+ 0.00029422)
(2,20,81): 0.00000 (+ 0.00029422)
(2,20,82): 0.00000 (+ 0.00029422)
(2,20,83): 0.00000 (+ 0.00029422)
(2,20,84): 0.00000 (+ 0.00029422)
(2,20,85): 0.00000 (+ 0.00029422)
(2,20,86): 0.00000 (+ 0.00029422)
(2,20,87): 0.00000 (+ 0.00029422)
(2,20,88): 0.00000 (+ 0.00029422)
(2,20,89): 0.00000 (+ 0.00029422)
(2,20,90): 0.00000 (+ 0.00029422)
(2,20,91): 0.00000 (+ 0.00029422)
(2,20,92): 0.00000 (+ 0.00029422)
(2,20,93): 0.00000 (+ 0.00029422)
(2,20,94): 0.00000 (+ 0.00029422)
(2,20,95): 0.00000 (+ 0.00029422)
(2,20,96): 0.00000 (+ 0.00029422)
(2,20,97): 0.00000 (+ 0.00029422)
(2,20,98): 0.00000 (+ 0.00029422)
(2,20,99): 0.00000 (+ 0.00029422)
(2,20,100): 0.00000 (+ 0.00029422)
(2,20,101): 0.00000 (+ 0.00029422)
(2,20,102): 0.00000 (+ 0.00029422)
(2,20,103): 0.00000 (+ 0.00029422)
(2,20,104): 0.00000 (+ 0.00029422)
(2,20,105): 0.00000 (+ 0.00029422)
(2,20,106): 0.00000 (+ 0.00029422)
(2,20,107): 0.00000 (+ 0.00029422)
(2,20,108): 0.00000 (+ 0.00029422)
(2,20,109): 0.00000 (+ 0.00029422)
(2,20,110): 0.00000 (+ 0.00029422)
(2,20,111): 0.00000 (+ 0.00029422)
(2,20,112): 0.00000 (+ 0.00029422)
(2,20,113): 0.00000 (+ 0.00029422)
(2,20,114): 0.00000 (+ 0.00029422)
(2,20,115): 0.00000 (+ 0.00029422)
(2,20,116): 0.00000 (+ 0.00029422)
(2,20,117): 0.00000 (+ 0.00029422)
(2,20,118): 0.00000 (+ 0.00029422)
(2,20,119): 0.00000 (+ 0.00029422)
(2,20,120): 0.00000 (+ 0.00029422)
(2,20,121): 0.00000 (+ 0.00029422)
(2,20,122): 0.00000 (+ 0.00029422)
(2,20,123): 0.00000 (+ 0.00029422)
(2,20,124): 0.00000 (+ 0.00029422)
(2,20,125): 0.00000 (+ 0.00029422)
(2,20,126): 0.00000 (+ 0.00029422)
(2,20,127): 0.00000 (+ 0.00029422)
(2,20,128): 0.00000 (+ 0.00029422)
(2,20,129): 0.00000 (+ 0.00029422)
(2,20,130): 0.00000 (+ 0.00029422)
(2,20,131): 0.00000 (+ 0.00029422)
(2,20,132): 0.00000 (+ 0.00029422)
(2,20,133): 0.00000 (+ 0.00029422)
(2,20,134): 0.00000 (+ 0.00029422)
(2,20,135): 0.00000 (+ 0.00029422)
(2,20,136): 0.00000 (+ 0.00029422)
(2,20,137): 0.00000 (+ 0.00029422)
(2,20,138): 0.00000 (+ 0.00029422)
(2,20,139): 0.00000 (+ 0.00029422)
(2,20,140): 0.00000 (+ 0.00029422)
(2,20,141): 0.00000 (+ 0.00029422)
(2,20,142): 0.00000 (+ 0.00029422)
(2,20,143): 0.00000 (+ 0.00029422)
(2,20,144): 0.00000 (+ 0.00029422)
(2,20,145): 0.00000 (+ 0.00029422)
(2,20,146): 0.00000 (+ 0.00029422)
(2,20,147): 0.00000 (+ 0.00029422)
(2,20,148): 0.00000 (+ 0.00029422)
(2,20,149): 0.00000 (+ 0.00029422)
(2,20,150): 0.00000 (+ 0.00029422)
(2,20,151): 0.00000 (+ 0.00029422)
(2,20,152): 0.00000 (+ 0.00029422)
(2,20,153): 0.00000 (+ 0.00029422)
(2,20,154): 0.00000 (+ 0.00029422)
(2,20,155): 0.00000 (+ 0.00029422)
(2,20,156): 0.00000 (+ 0.00029422)
(2,20,157): 0.00000 (+ 0.00029422)
(2,20,158): 0.00000 (+ 0.00029422)
(2,20,159): 0.00000 (+ 0.00029422)
(2,20,160): 0.00000 (+ 0.00029422)
(2,20,161): 0.00000 (+ 0.00029422)
(2,20,162): 0.00000 (+ 0.00029422)
(2,20,163): 0.00000 (+ 0.00029422)
(2,20,164): 0.00000 (+ 0.00029422)
(2,20,165): 0.00000 (+ 0.00029422)
(2,20,166): 0.00000 (+ 0.00029422)
(2,20,167): 0.00000 (+ 0.00029422)
(2,20,168): 0.00000 (+ 0.00029422)
(2,20,169): 0.00000 (+ 0.00029422)
(2,20,170): 0.00000 (+ 0.00029422)
(2,20,171): 0.00000 (+ 0.00029422)
(2,20,172): 0.00000 (+ 0.00029422)
(2,20,173): 0.00000 (+ 0.00029422)
(2,20,174): 0.00000 (+ 0.00029422)
(2,20,175): 0.00000 (+ 0.00029422)
(2,20,176): 0.00000 (+ 0.00029422)
(2,20,177): 0.00000 (+ 0.00029422)
(2,20,178): 0.00000 (+ 0.00029422)
(2,20,179): 0.00000 (+ 0.00029422)
(2,20,180): 0.00000 (+ 0.00029422)
(2,20,181): 0.00000 (+ 0.00029422)
(2,20,182): 0.00000 (+ 0.00029422)
(2,20,183): 0.00000 (+ 0.00029422)
(2,20,184): 0.00000 (+ 0.00029422)
(2,20,185): 0.00000 (+ 0.00029422)
(2,20,186): 0.00000 (+ 0.00029422)
(2,20,187): 0.00000 (+ 0.00029422)
(2,20,188): 0.00000 (+ 0.00029422)
(2,20,189): 0.00000 (+ 0.00029422)
(2,20,190): 0.00000 (+ 0.00029422)
(2,20,191): 0.00000 (+ 0.00029422)
(2,20,192): 0.00000 (+ 0.00029422)
(2,20,193): 0.00000 (+ 0.00029422)
(2,20,194): 0.00000 (+ 0.00029422)
(2,20,195): 0.00000 (+ 0.00029422)
(2,20,196): 0.00000 (+ 0.00029422)
(2,20,197): 0.00000 (+ 0.00029422)
(2,20,198): 0.00000 (+ 0.00029422)
(2,20,199): 0.00000 (+ 0.00029422)
(2,20,200): 0.00000 (+ 0.00029422)
(2,20,201): 0.00000 (+ 0.00029422)
(2,20,202): 0.00000 (+ 0.00029422)
(2,20,203): 0.00000 (+ 0.00029422)
(2,20,204): 0.00000 (+ 0.00029422)
(2,20,205): 0.00000 (+ 0.00029422)
(2,20,206): 0.00000 (+ 0.00029422)
(2,20,207): 0.00000 (+ 0.00029422)
(2,20,208): 0.00000 (+ 0.00029422)
(2,20,209): 0.00000 (+ 0.00029422)
(2,20,210): 0.00000 (+ 0.00029422)
(2,20,211): 0.00000 (+ 0.00029422)
(2,20,212): 0.00000 (+ 0.00029422)
(2,20,213): 0.00000 (+ 0.00029422)
(2,20,214): 0.00000 (+ 0.00029422)
(2,20,215): 0.00000 (+ 0.00029422)
(2,20,216): 0.00000 (+ 0.00029422)
(2,20,217): 0.00000 (+ 0.00029422)
(2,20,218): 0.00000 (+ 0.00029422)
(2,20,219): 0.00000 (+ 0.00029422)
(2,20,220): 0.00000 (+ 0.00029422)
(2,20,221): 0.00000 (+ 0.00029422)
(2,20,222): 0.00000 (+ 0.00029422)
(2,20,223): 0.00000 (+ 0.00029422)
(2,20,224): 0.00000 (+ 0.00029422)
(2,20,225): 0.00000 (+ 0.00029422)
(2,20,226): 0.00000 (+ 0.00029422)
(2,20,227): 0.00000 (+ 0.00029422)
(2,20,228): 0.00000 (+ 0.00029422)
(2,20,229): 0.00000 (+ 0.00029422)
(2,20,230): 0.00000 (+ 0.00029422)
(2,20,231): 0.00000 (+ 0.00029422)
(2,20,232): 0.00000 (+ 0.00029422)
(2,20,233): 0.00000 (+ 0.00029422)
(2,20,234): 0.00000 (+ 0.00029422)
(2,20,235): 0.00000 (+ 0.00029422)
(2,20,236): 0.00000 (+ 0.00029422)
(2,20,237): 0.00000 (+ 0.00029422)
(2,20,238): 0.00000 (+ 0.00029422)
(2,20,239): 0.00000 (+ 0.00029422)
(2,20,240): 0.00000 (+ 0.00029422)
(2,20,241): 0.00000 (+ 0.00029422)
(2,20,242): 0.00000 (+ 0.00029422)
(2,20,243): 0.00000 (+ 0.00029422)
(2,20,244): 0.00000 (+ 0.00029422)
(2,20,245): 0.00000 (+ 0.00029422)
(2,20,246): 0.00000 (+ 0.00029422)
(2,20,247): 0.00000 (+ 0.00029422)
(2,20,248): 0.00000 (+ 0.00029422)
(2,20,249): 0.00000 (+ 0.00029422)
(2,20,250): 0.00000 (+ 0.00029422)
(2,20,251): 0.00000 (+ 0.00029422)
(2,20,252): 0.00000 (+ 0.00029422)
(2,20,253): 0.00000 (+ 0.00029422)
(2,20,254): 0.00000 (+ 0.00029422)
(2,20,255): 0.00000 (+ 0.00029422)
(2,20,256): 0.00000 (+ 0.00029422)
(2,20,257): 0.00000 (+ 0.00029422)
(2,20,258): 0.00000 (+ 0.00029422)
(2,20,259): 0.00000 (+ 0.00029422)
(2,20,260): 0.00000 (+ 0.00029422)
(2,20,261): 0.00000 (+ 0.00029422)
(2,20,262): 0.00000 (+ 0.00029422)
(2,20,263): 0.00000 (+ 0.00029422)
(2,20,264): 0.00000 (+ 0.00029422)
(2,20,265): 0.00000 (+ 0.00029422)
(2,20,266): 0.00000 (+ 0.00029422)
(2,20,267): 0.00000 (+ 0.00029422)
(2,20,268): 0.00000 (+ 0.00029422)
(2,20,269): 0.00000 (+ 0.00029422)
(2,20,270): 0.00000 (+ 0.00029422)
(2,20,271): 0.00000 (+ 0.00029422)
(2,20,272): 0.00000 (+ 0.00029422)
(2,20,273): 0.00000 (+ 0.00029422)
(2,20,274): 0.00000 (+ 0.00029422)
(2,20,275): 0.00000 (+ 0.00029422)
(2,20,276): 0.00000 (+ 0.00029422)
(2,20,277): 0.00000 (+ 0.00029422)
(2,20,278): 0.00000 (+ 0.00029422)
(2,20,279): 0.00000 (+ 0.00029422)
(2,20,280): 0.00000 (+ 0.00029422)
(2,20,281): 0.00000 (+ 0.00029422)
(2,20,282): 0.00000 (+ 0.00029422)
(2,20,283): 0.00000 (+ 0.00029422)
(2,20,284): 0.00000 (+ 0.00029422)
(2,20,285): 0.00000 (+ 0.00029422)
(2,20,286): 0.00000 (+ 0.00029422)
(2,20,287): 0.00000 (+ 0.00029422)
(2,20,288): 0.00000 (+ 0.00029422)
(2,20,289): 0.00000 (+ 0.00029422)
(2,20,290): 0.00000 (+ 0.00029422)
(2,20,291): 0.00000 (+ 0.00029422)
(2,20,292): 0.00000 (+ 0.00029422)
(2,20,293): 0.00000 (+ 0.00029422)
(2,20,294): 0.00000 (+ 0.00029422)
(2,20,295): 0.00000 (+ 0.00029422)
(2,20,296): 0.00000 (+ 0.00029422)
(2,20,297): 0.00000 (+ 0.00029422)
(2,20,298): 0.00000 (+ 0.00029422)
(2,20,299): 0.00000 (+ 0.00029422)
(2,20,300): 0.00000 (+ 0.00029422)
(2,20,301): 0.00000 (+ 0.00029422)
(2,20,302): 0.00000 (+ 0.00029422)
(2,20,303): 0.00000 (+ 0.00029422)
(2,20,304): 0.00000 (+ 0.00029422)
(2,20,305): 0.00000 (+ 0.00029422)
(2,20,306): 0.00000 (+ 0.00029422)
(2,20,307): 0.00000 (+ 0.00029422)
(2,20,308): 0.00000 (+ 0.00029422)
(2,20,309): 0.00000 (+ 0.00029422)
(2,20,310): 0.00000 (+ 0.00029422)
(2,20,311): 0.00000 (+ 0.00029422)
(2,20,312): 0.00000 (+ 0.00029422)
(2,20,313): 0.00000 (+ 0.00029422)
(2,20,314): 0.00000 (+ 0.00029422)
(2,20,315): 0.00000 (+ 0.00029422)
(2,20,316): 0.00000 (+ 0.00029422)
(2,20,317): 0.00000 (+ 0.00029422)
(2,20,318): 0.00000 (+ 0.00029422)
(2,20,319): 0.00000 (+ 0.00029422)
(2,20,320): 0.00000 (+ 0.00029422)
(2,20,321): 0.00000 (+ 0.00029422)
(2,20,322): 0.00000 (+ 0.00029422)
(2,20,323): 0.00000 (+ 0.00029422)
(2,20,324): 0.00000 (+ 0.00029422)
(2,20,325): 0.00000 (+ 0.00029422)
(2,20,326): 0.00000 (+ 0.00029422)
(2,20,327): 0.00000 (+ 0.00029422)
(2,20,328): 0.00000 (+ 0.00029422)
(2,20,329): 0.00000 (+ 0.00029422)
(2,20,330): 0.00000 (+ 0.00029422)
(2,20,331): 0.00000 (+ 0.00029422)
(2,20,332): 0.00000 (+ 0.00029422)
(2,20,333): 0.00000 (+ 0.00029422)
(2,20,334): 0.00000 (+ 0.00029422)
(2,20,335): 0.00000 (+ 0.00029422)
(2,20,336): 0.00000 (+ 0.00029422)
(2,20,337): 0.00000 (+ 0.00029422)
(2,20,338): 0.00000 (+ 0.00029422)
(2,20,339): 0.00000 (+ 0.00029422)
(2,20,340): 0.00000 (+ 0.00029422)
(2,20,341): 0.00000 (+ 0.00029422)
(2,20,342): 0.00000 (+ 0.00029422)
(2,20,343): 0.00000 (+ 0.00029422)
(2,20,344): 0.00000 (+ 0.00029422)
(2,20,345): 0.00000 (+ 0.00029422)
(2,20,346): 0.00000 (+ 0.00029422)
(2,20,347): 0.00000 (+ 0.00029422)
(2,20,348): 0.00000 (+ 0.00029422)
(2,20,349): 0.00000 (+ 0.00029422)
(2,20,350): 0.00000 (+ 0.00029422)
(2,20,351): 0.00000 (+ 0.00029422)
(2,20,352): 0.00000 (+ 0.00029422)
(2,20,353): 0.00000 (+ 0.00029422)
(2,20,354): 0.00000 (+ 0.00029422)
(2,20,355): 0.00000 (+ 0.00029422)
(2,20,356): 0.00000 (+ 0.00029422)
(2,20,357): 0.00000 (+ 0.00029422)
(2,20,358): 0.00000 (+ 0.00029422)
(2,20,359): 0.00000 (+ 0.00029422)
(2,20,360): 0.00000 (+ 0.00029422)
(2,20,361): 0.00000 (+ 0.00029422)
(2,20,362): 0.00000 (+ 0.00029422)
(2,20,363): 0.00000 (+ 0.00029422)
(2,20,364): 0.00000 (+ 0.00029422)
(2,20,365): 0.00000 (+ 0.00029422)
(2,20,366): 0.00000 (+ 0.00029422)
(2,20,367): 0.00000 (+ 0.00029422)
(2,20,368): 0.00000 (+ 0.00029422)
(2,20,369): 0.00000 (+ 0.00029422)
(2,20,370): 0.00000 (+ 0.00029422)
(2,20,371): 0.00000 (+ 0.00029422)
(2,20,372): 0.00000 (+ 0.00029422)
(2,20,373): 0.00000 (+ 0.00029422)
(2,20,374): 0.00000 (+ 0.00029422)
(2,20,375): 0.00000 (+ 0.00029422)
(2,20,376): 0.00000 (+ 0.00029422)
(2,20,377): 0.00000 (+ 0.00029422)
(2,20,378): 0.00000 (+ 0.00029422)
(2,20,379): 0.00000 (+ 0.00029422)
(2,20,380): 0.00000 (+ 0.00029422)
(2,20,381): 0.00000 (+ 0.00029422)
(2,20,382): 0.00000 (+ 0.00029422)
(2,20,383): 0.00000 (+ 0.00029422)
(2,20,384): 0.00000 (+ 0.00029422)
(2,20,385): 0.00000 (+ 0.00029422)
(2,20,386): 0.00000 (+ 0.00029422)
(2,20,387): 0.00000 (+ 0.00029422)
(2,20,388): 0.00000 (+ 0.00029422)
(2,20,389): 0.00000 (+ 0.00029422)
(2,20,390): 0.00000 (+ 0.00029422)
(2,20,391): 0.00000 (+ 0.00029422)
(2,20,392): 0.00000 (+ 0.00029422)
(2,20,393): 0.00000 (+ 0.00029422)
(2,20,394): 0.00000 (+ 0.00029422)
(2,20,395): 0.00000 (+ 0.00029422)
(2,20,396): 0.00000 (+ 0.00029422)
(2,20,397): 0.00000 (+ 0.00029422)
(2,20,398): 0.00000 (+ 0.00029422)
(2,20,399): 0.00000 (+ 0.00029422)
(2,20,400): 0.00000 (+ 0.00029422)
(2,20,401): 0.00000 (+ 0.00029422)
(2,20,402): 0.00000 (+ 0.00029422)
(2,20,403): 0.00000 (+ 0.00029422)
(2,20,404): 0.00000 (+ 0.00029422)
(2,20,405): 0.00000 (+ 0.00029422)
(2,20,406): 0.00000 (+ 0.00029422)
(2,20,407): 0.00000 (+ 0.00029422)
(2,20,408): 0.00000 (+ 0.00029422)
(2,20,409): 0.00000 (+ 0.00029422)
(2,20,410): 0.00000 (+ 0.00029422)
(2,20,411): 0.00000 (+ 0.00029422)
(2,20,412): 0.00000 (+ 0.00029422)
(2,20,413): 0.00000 (+ 0.00029422)
(2,20,414): 0.00000 (+ 0.00029422)
(2,20,415): 0.00000 (+ 0.00029422)
(2,20,416): 0.00000 (+ 0.00029422)
(2,20,417): 0.00000 (+ 0.00029422)
(2,20,418): 0.00000 (+ 0.00029422)
(2,20,419): 0.00000 (+ 0.00029422)
(2,20,420): 0.00000 (+ 0.00029422)
(2,20,421): 0.00000 (+ 0.00029422)
(2,20,422): 0.00000 (+ 0.00029422)
(2,20,423): 0.00000 (+ 0.00029422)
(2,20,424): 0.00000 (+ 0.00029422)
(2,20,425): 0.00000 (+ 0.00029422)
(2,20,426): 0.00000 (+ 0.00029422)
(2,20,427): 0.00000 (+ 0.00029422)
(2,20,428): 0.00000 (+ 0.00029422)
(2,20,429): 0.00000 (+ 0.00029422)
(2,20,430): 0.00000 (+ 0.00029422)
(2,20,431): 0.00000 (+ 0.00029422)
(2,20,432): 0.00000 (+ 0.00029422)
(2,20,433): 0.00000 (+ 0.00029422)
(2,20,434): 0.00000 (+ 0.00029422)
(2,20,435): 0.00000 (+ 0.00029422)
(2,20,436): 0.00000 (+ 0.00029422)
(2,20,437): 0.00000 (+ 0.00029422)
(2,20,438): 0.00000 (+ 0.00029422)
(2,20,439): 0.00000 (+ 0.00029422)
(2,20,440): 0.00000 (+ 0.00029422)
(2,20,441): 0.00000 (+ 0.00029422)
(2,20,442): 0.00000 (+ 0.00029422)
(2,20,443): 0.00000 (+ 0.00029422)
(2,20,444): 0.00000 (+ 0.00029422)
(2,20,445): 0.00000 (+ 0.00029422)
(2,20,446): 0.00000 (+ 0.00029422)
(2,20,447): 0.00000 (+ 0.00029422)
(2,20,448): 0.00000 (+ 0.00029422)
(2,20,449): 0.00000 (+ 0.00029422)
(2,20,450): 0.00000 (+ 0.00029422)
(2,20,451): 0.00000 (+ 0.00029422)
(2,20,452): 0.00000 (+ 0.00029422)
(2,20,453): 0.00000 (+ 0.00029422)
(2,20,454): 0.00000 (+ 0.00029422)
(2,20,455): 0.00000 (+ 0.00029422)
(2,20,456): 0.00000 (+ 0.00029422)
(2,20,457): 0.00000 (+ 0.00029422)
(2,20,458): 0.00000 (+ 0.00029422)
(2,20,459): 0.00000 (+ 0.00029422)
(2,20,460): 0.00000 (+ 0.00029422)
(2,20,461): 0.00000 (+ 0.00029422)
(2,20,462): 0.00000 (+ 0.00029422)
(2,20,463): 0.00000 (+ 0.00029422)
(2,20,464): 0.00000 (+ 0.00029422)
(2,20,465): 0.00000 (+ 0.00029422)
(2,20,466): 0.00000 (+ 0.00029422)
(2,20,467): 0.00000 (+ 0.00029422)
(2,20,468): 0.00000 (+ 0.00029422)
(2,20,469): 0.00000 (+ 0.00029422)
(2,20,470): 0.00000 (+ 0.00029422)
(2,20,471): 0.00000 (+ 0.00029422)
(2,20,472): 0.00000 (+ 0.00029422)
(2,20,473): 0.00000 (+ 0.00029422)
(2,20,474): 0.00000 (+ 0.00029422)
(2,20,475): 0.00000 (+ 0.00029422)
(2,20,476): 0.00000 (+ 0.00029422)
(2,20,477): 0.00000 (+ 0.00029422)
(2,20,478): 0.00000 (+ 0.00029422)
(2,20,479): 0.00000 (+ 0.00029422)
(2,20,480): 0.00000 (+ 0.00029422)
(2,20,481): 0.00000 (+ 0.00029422)
(2,20,482): 0.00000 (+ 0.00029422)
(2,20,483): 0.00000 (+ 0.00029422)
(2,20,484): 0.00000 (+ 0.00029422)
(2,20,485): 0.00000 (+ 0.00029422)
(2,20,486): 0.00000 (+ 0.00029422)
(2,20,487): 0.00000 (+ 0.00029422)
(2,20,488): 0.00000 (+ 0.00029422)
(2,20,489): 0.00000 (+ 0.00029422)
(2,20,490): 0.00000 (+ 0.00029422)
(2,20,491): 0.00000 (+ 0.00029422)
(2,20,492): 0.00000 (+ 0.00029422)
(2,20,493): 0.00000 (+ 0.00029422)
(2,20,494): 0.00000 (+ 0.00029422)
(2,20,495): 0.00000 (+ 0.00029422)
(2,20,496): 0.00000 (+ 0.00029422)
(2,20,497): 0.00000 (+ 0.00029422)
(2,20,498): 0.00000 (+ 0.00029422)
(2,20,499): 0.00000 (+ 0.00029422)
(2,20,500): 0.00000 (+ 0.00029422)
(2,20,501): 0.00000 (+ 0.00029422)
(2,20,502): 0.00000 (+ 0.00029422)
(2,20,503): 0.00000 (+ 0.00029422)
(2,20,504): 0.00000 (+ 0.00029422)
(2,20,505): 0.00000 (+ 0.00029422)
(2,20,506): 0.00000 (+ 0.00029422)
(2,20,507): 0.00000 (+ 0.00029422)
(2,20,508): 0.00000 (+ 0.00029422)
(2,20,509): 0.00000 (+ 0.00029422)
(2,20,510): 0.00000 (+ 0.00029422)
(2,20,511): 0.00000 (+ 0.00029422)
(2,20,512): 0.00000 (+ 0.00029422)
(2,20,513): 0.00000 (+ 0.00029422)
(2,20,514): 0.00000 (+ 0.00029422)
(2,20,515): 0.00000 (+ 0.00029422)
(2,20,516): 0.00000 (+ 0.00029422)
(2,20,517): 0.00000 (+ 0.00029422)
(2,20,518): 0.00000 (+ 0.00029422)
(2,20,519): 0.00000 (+ 0.00029422)
(2,20,520): 0.00000 (+ 0.00029422)
(2,20,521): 0.00000 (+ 0.00029422)
(2,20,522): 0.00000 (+ 0.00029422)
(2,20,523): 0.00000 (+ 0.00029422)
(2,20,524): 0.00000 (+ 0.00029422)
(2,20,525): 0.00000 (+ 0.00029422)
(2,20,526): 0.00000 (+ 0.00029422)
(2,20,527): 0.00000 (+ 0.00029422)
(2,20,528): 0.00000 (+ 0.00029422)
(2,20,529): 0.00000 (+ 0.00029422)
(2,20,530): 0.00000 (+ 0.00029422)
(2,20,531): 0.00000 (+ 0.00029422)
(2,20,532): 0.00000 (+ 0.00029422)
(2,20,533): 0.00000 (+ 0.00029422)
(2,20,534): 0.00000 (+ 0.00029422)
(2,20,535): 0.00000 (+ 0.00029422)
(2,20,536): 0.00000 (+ 0.00029422)
(2,20,537): 0.00000 (+ 0.00029422)
(2,20,538): 0.00000 (+ 0.00029422)
(2,20,539): 0.00000 (+ 0.00029422)
(2,20,540): 0.00000 (+ 0.00029422)
(2,20,541): 0.00000 (+ 0.00029422)
(2,20,542): 0.00000 (+ 0.00029422)
(2,20,543): 0.00000 (+ 0.00029422)
(2,20,544): 0.00000 (+ 0.00029422)
(2,20,545): 0.00000 (+ 0.00029422)
(2,20,546): 0.00000 (+ 0.00029422)
(2,20,547): 0.00000 (+ 0.00029422)
(2,20,548): 0.00000 (+ 0.00029422)
(2,20,549): 0.00000 (+ 0.00029422)
(2,20,550): 0.00000 (+ 0.00029422)
(2,20,551): 0.00000 (+ 0.00029422)
(2,20,552): 0.00000 (+ 0.00029422)
(2,20,553): 0.00000 (+ 0.00029422)
(2,20,554): 0.00000 (+ 0.00029422)
(2,20,555): 0.00000 (+ 0.00029422)
(2,20,556): 0.00000 (+ 0.00029422)
(2,20,557): 0.00000 (+ 0.00029422)
(2,20,558): 0.00000 (+ 0.00029422)
(2,20,559): 0.00000 (+ 0.00029422)
(2,20,560): 0.00000 (+ 0.00029422)
(2,20,561): 0.00000 (+ 0.00029422)
(2,20,562): 0.00000 (+ 0.00029422)
(2,20,563): 0.00000 (+ 0.00029422)
(2,20,564): 0.00000 (+ 0.00029422)
(2,20,565): 0.00000 (+ 0.00029422)
(2,20,566): 0.00000 (+ 0.00029422)
(2,20,567): 0.00000 (+ 0.00029422)
(2,20,568): 0.00000 (+ 0.00029422)
(2,20,569): 0.00000 (+ 0.00029422)
(2,20,570): 0.00000 (+ 0.00029422)
(2,20,571): 0.00000 (+ 0.00029422)
(2,20,572): 0.00000 (+ 0.00029422)
(2,20,573): 0.00000 (+ 0.00029422)
(2,20,574): 0.00000 (+ 0.00029422)
(2,20,575): 0.00000 (+ 0.00029422)
(2,20,576): 0.00000 (+ 0.00029422)
(2,20,577): 0.00000 (+ 0.00029422)
(2,20,578): 0.00000 (+ 0.00029422)
(2,20,579): 0.00000 (+ 0.00029422)
(2,20,580): 0.00000 (+ 0.00029422)
(2,20,581): 0.00000 (+ 0.00029422)
(2,20,582): 0.00000 (+ 0.00029422)
(2,20,583): 0.00000 (+ 0.00029422)
(2,20,584): 0.00000 (+ 0.00029422)
(2,20,585): 0.00000 (+ 0.00029422)
(2,20,586): 0.00000 (+ 0.00029422)
(2,20,587): 0.00000 (+ 0.00029422)
(2,20,588): 0.00000 (+ 0.00029422)
(2,20,589): 0.00000 (+ 0.00029422)
(2,20,590): 0.00000 (+ 0.00029422)
(2,20,591): 0.00000 (+ 0.00029422)
(2,20,592): 0.00000 (+ 0.00029422)
(2,20,593): 0.00000 (+ 0.00029422)
(2,20,594): 0.00000 (+ 0.00029422)
(2,20,595): 0.00000 (+ 0.00029422)
(2,20,596): 0.00000 (+ 0.00029422)
(2,20,597): 0.00000 (+ 0.00029422)
(2,20,598): 0.00000 (+ 0.00029422)
(2,20,599): 0.00000 (+ 0.00029422)
(2,20,600): 0.00000 (+ 0.00029422)
(2,20,601): 0.00000 (+ 0.00029422)
(2,20,602): 0.00000 (+ 0.00029422)
(2,20,603): 0.00000 (+ 0.00029422)
(2,20,604): 0.00000 (+ 0.00029422)
(2,20,605): 0.00000 (+ 0.00029422)
(2,20,606): 0.00000 (+ 0.00029422)
(2,20,607): 0.00000 (+ 0.00029422)
(2,20,608): 0.00000 (+ 0.00029422)
(2,20,609): 0.00000 (+ 0.00029422)
(2,20,610): 0.00000 (+ 0.00029422)
(2,20,611): 0.00000 (+ 0.00029422)
(2,20,612): 0.00000 (+ 0.00029422)
(2,20,613): 0.00000 (+ 0.00029422)
(2,20,614): 0.00000 (+ 0.00029422)
(2,20,615): 0.00000 (+ 0.00029422)
(2,20,616): 0.00000 (+ 0.00029422)
(2,20,617): 0.00000 (+ 0.00029422)
(2,20,618): 0.00000 (+ 0.00029422)
(2,20,619): 0.00000 (+ 0.00029422)
(2,20,620): 0.00000 (+ 0.00029422)
(2,20,621): 0.00000 (+ 0.00029422)
(2,20,622): 0.00000 (+ 0.00029422)
(2,20,623): 0.00000 (+ 0.00029422)
(2,20,624): 0.00000 (+ 0.00029422)
(2,20,625): 0.00000 (+ 0.00029422)
(2,20,626): 0.00000 (+ 0.00029422)
(2,20,627): 0.00000 (+ 0.00029422)
(2,20,628): 0.00000 (+ 0.00029422)
(2,20,629): 0.00000 (+ 0.00029422)
(2,20,630): 0.00000 (+ 0.00029422)
(2,20,631): 0.00000 (+ 0.00029422)
(2,20,632): 0.00000 (+ 0.00029422)
(2,20,633): 0.00000 (+ 0.00029422)
(2,20,634): 0.00000 (+ 0.00029422)
(2,20,635): 0.00000 (+ 0.00029422)
(2,20,636): 0.00000 (+ 0.00029422)
(2,20,637): 0.00000 (+ 0.00029422)
(2,20,638): 0.00000 (+ 0.00029422)
(2,20,639): 0.00000 (+ 0.00029422)
(2,20,640): 0.00000 (+ 0.00029422)
(2,20,641): 0.00000 (+ 0.00029422)
(2,20,642): 0.00000 (+ 0.00029422)
(2,20,643): 0.00000 (+ 0.00029422)
(2,20,644): 0.00000 (+ 0.00029422)
(2,20,645): 0.00000 (+ 0.00029422)
(2,20,646): 0.00000 (+ 0.00029422)
(2,20,647): 0.00000 (+ 0.00029422)
(2,20,648): 0.00000 (+ 0.00029422)
(2,20,649): 0.00000 (+ 0.00029422)
(2,20,650): 0.00000 (+ 0.00029422)
(2,20,651): 0.00000 (+ 0.00029422)
(2,20,652): 0.00000 (+ 0.00029422)
(2,20,653): 0.00000 (+ 0.00029422)
(2,20,654): 0.00000 (+ 0.00029422)
(2,20,655): 0.00000 (+ 0.00029422)
(2,20,656): 0.00000 (+ 0.00029422)
(2,20,657): 0.00000 (+ 0.00029422)
(2,20,658): 0.00000 (+ 0.00029422)
(2,20,659): 0.00000 (+ 0.00029422)
(2,20,660): 0.00000 (+ 0.00029422)
(2,20,661): 0.00000 (+ 0.00029422)
(2,20,662): 0.00000 (+ 0.00029422)
(2,20,663): 0.00000 (+ 0.00029422)
(2,20,664): 0.00000 (+ 0.00029422)
(2,20,665): 0.00000 (+ 0.00029422)
(2,20,666): 0.00000 (+ 0.00029422)
(2,20,667): 0.00000 (+ 0.00029422)
(2,20,668): 0.00000 (+ 0.00029422)
(2,20,669): 0.00000 (+ 0.00029422)
(2,20,670): 0.00000 (+ 0.00029422)
(2,20,671): 0.00000 (+ 0.00029422)
(2,20,672): 0.00000 (+ 0.00029422)
(2,20,673): 0.00000 (+ 0.00029422)
(2,20,674): 0.00000 (+ 0.00029422)
(2,20,675): 0.00000 (+ 0.00029422)
(2,20,676): 0.00000 (+ 0.00029422)
(2,20,677): 0.00000 (+ 0.00029422)
(2,20,678): 0.00000 (+ 0.00029422)
(2,20,679): 0.00000 (+ 0.00029422)
(2,20,680): 0.00000 (+ 0.00029422)
(2,20,681): 0.00000 (+ 0.00029422)
(2,20,682): 0.00000 (+ 0.00029422)
(2,20,683): 0.00000 (+ 0.00029422)
(2,20,684): 0.00000 (+ 0.00029422)
(2,20,685): 0.00000 (+ 0.00029422)
(2,20,686): 0.00000 (+ 0.00029422)
(2,20,687): 0.00000 (+ 0.00029422)
(2,20,688): 0.00000 (+ 0.00029422)
(2,20,689): 0.00000 (+ 0.00029422)
(2,20,690): 0.00000 (+ 0.00029422)
(2,20,691): 0.00000 (+ 0.00029422)
(2,20,692): 0.00000 (+ 0.00029422)
(2,20,693): 0.00000 (+ 0.00029422)
(2,20,694): 0.00000 (+ 0.00029422)
(2,20,695): 0.00000 (+ 0.00029422)
(2,20,696): 0.00000 (+ 0.00029422)
(2,20,697): 0.00000 (+ 0.00029422)
(2,20,698): 0.00000 (+ 0.00029422)
(2,20,699): 0.00000 (+ 0.00029422)
(2,20,700): 0.00000 (+ 0.00029422)
(2,20,701): 0.00000 (+ 0.00029422)
(2,20,702): 0.00000 (+ 0.00029422)
(2,20,703): 0.00000 (+ 0.00029422)
(2,20,704): 0.00000 (+ 0.00029422)
(2,20,705): 0.00000 (+ 0.00029422)
(2,20,706): 0.00000 (+ 0.00029422)
(2,20,707): 0.00000 (+ 0.00029422)
(2,20,708): 0.00000 (+ 0.00029422)
(2,20,709): 0.00000 (+ 0.00029422)
(2,20,710): 0.00000 (+ 0.00029422)
(2,20,711): 0.00000 (+ 0.00029422)
(2,20,712): 0.00000 (+ 0.00029422)
(2,20,713): 0.00000 (+ 0.00029422)
(2,20,714): 0.00000 (+ 0.00029422)
(2,20,715): 0.00000 (+ 0.00029422)
(2,20,716): 0.00000 (+ 0.00029422)
(2,20,717): 0.00000 (+ 0.00029422)
(2,20,718): 0.00000 (+ 0.00029422)
(2,20,719): 0.00000 (+ 0.00029422)
(2,20,720): 0.00000 (+ 0.00029422)
(2,20,721): 0.00000 (+ 0.00029422)
(2,20,722): 0.00000 (+ 0.00029422)
(2,20,723): 0.00000 (+ 0.00029422)
(2,20,724): 0.00000 (+ 0.00029422)
(2,20,725): 0.00000 (+ 0.00029422)
(2,20,726): 0.00000 (+ 0.00029422)
(2,20,727): 0.00000 (+ 0.00029422)
(2,20,728): 0.00000 (+ 0.00029422)
(2,20,729): 0.00000 (+ 0.00029422)
(2,20,730): 0.00000 (+ 0.00029422)
(2,20,731): 0.00000 (+ 0.00029422)
(2,20,732): 0.00000 (+ 0.00029422)
(2,20,733): 0.00000 (+ 0.00029422)
(2,20,734): 0.00000 (+ 0.00029422)
(2,20,735): 0.00000 (+ 0.00029422)
(2,20,736): 0.00000 (+ 0.00029422)
(2,20,737): 0.00000 (+ 0.00029422)
(2,20,738): 0.00000 (+ 0.00029422)
(2,20,739): 0.00000 (+ 0.00029422)
(2,20,740): 0.00000 (+ 0.00029422)
(2,20,741): 0.00000 (+ 0.00029422)
(2,20,742): 0.00000 (+ 0.00029422)
(2,20,743): 0.00000 (+ 0.00029422)
(2,20,744): 0.00000 (+ 0.00029422)
(2,20,745): 0.00000 (+ 0.00029422)
(2,20,746): 0.00000 (+ 0.00029422)
(2,20,747): 0.00000 (+ 0.00029422)
(2,20,748): 0.00000 (+ 0.00029422)
(2,20,749): 0.00000 (+ 0.00029422)
(2,20,750): 0.00000 (+ 0.00029422)
(2,20,751): 0.00000 (+ 0.00029422)
(2,20,752): 0.00000 (+ 0.00029422)
(2,20,753): 0.00000 (+ 0.00029422)
(2,20,754): 0.00000 (+ 0.00029422)
(2,20,755): 0.00000 (+ 0.00029422)
(2,20,756): 0.00000 (+ 0.00029422)
(2,20,757): 0.00000 (+ 0.00029422)
(2,20,758): 0.00000 (+ 0.00029422)
(2,20,759): 0.00000 (+ 0.00029422)
(2,20,760): 0.00000 (+ 0.00029422)
(2,20,761): 0.00000 (+ 0.00029422)
(2,20,762): 0.00000 (+ 0.00029422)
(2,20,763): 0.00000 (+ 0.00029422)
(2,20,764): 0.00000 (+ 0.00029422)
(2,20,765): 0.00000 (+ 0.00029422)
(2,20,766): 0.00000 (+ 0.00029422)
(2,20,767): 0.00000 (+ 0.00029422)
(2,20,768): 0.00000 (+ 0.00029422)
(2,20,769): 0.00000 (+ 0.00029422)
(2,20,770): 0.00000 (+ 0.00029422)
(2,20,771): 0.00000 (+ 0.00029422)
(2,20,772): 0.00000 (+ 0.00029422)
(2,20,773): 0.00000 (+ 0.00029422)
(2,20,774): 0.00000 (+ 0.00029422)
(2,20,775): 0.00000 (+ 0.00029422)
(2,20,776): 0.00000 (+ 0.00029422)
(2,20,777): 0.00000 (+ 0.00029422)
(2,20,778): 0.00000 (+ 0.00029422)
(2,20,779): 0.00000 (+ 0.00029422)
(2,20,780): 0.00000 (+ 0.00029422)
(2,20,781): 0.00000 (+ 0.00029422)
(2,20,782): 0.00000 (+ 0.00029422)
(2,20,783): 0.00000 (+ 0.00029422)
(2,20,784): 0.00000 (+ 0.00029422)
(2,20,785): 0.00000 (+ 0.00029422)
(2,20,786): 0.00000 (+ 0.00029422)
(2,20,787): 0.00000 (+ 0.00029422)
(2,20,788): 0.00000 (+ 0.00029422)
(2,20,789): 0.00000 (+ 0.00029422)
(2,20,790): 0.00000 (+ 0.00029422)
(2,20,791): 0.00000 (+ 0.00029422)
(2,20,792): 0.00000 (+ 0.00029422)
(2,20,793): 0.00000 (+ 0.00029422)
(2,20,794): 0.00000 (+ 0.00029422)
(2,20,795): 0.00000 (+ 0.00029422)
(2,20,796): 0.00000 (+ 0.00029422)
(2,20,797): 0.00000 (+ 0.00029422)
(2,20,798): 0.00000 (+ 0.00029422)
(2,20,799): 0.00000 (+ 0.00029422)
(2,20,800): 0.00000 (+ 0.00029422)
(2,20,801): 0.00000 (+ 0.00029422)
(2,20,802): 0.00000 (+ 0.00029422)
(2,20,803): 0.00000 (+ 0.00029422)
(2,20,804): 0.00000 (+ 0.00029422)
(2,20,805): 0.00000 (+ 0.00029422)
(2,20,806): 0.00000 (+ 0.00029422)
(2,20,807): 0.00000 (+ 0.00029422)
(2,20,808): 0.00000 (+ 0.00029422)
(2,20,809): 0.00000 (+ 0.00029422)
(2,20,810): 0.00000 (+ 0.00029422)
(2,20,811): 0.00000 (+ 0.00029422)
(2,20,812): 0.00000 (+ 0.00029422)
(2,20,813): 0.00000 (+ 0.00029422)
(2,20,814): 0.00000 (+ 0.00029422)
(2,20,815): 0.00000 (+ 0.00029422)
(2,20,816): 0.00000 (+ 0.00029422)
(2,20,817): 0.00000 (+ 0.00029422)
(2,20,818): 0.00000 (+ 0.00029422)
(2,20,819): 0.00000 (+ 0.00029422)
(2,20,820): 0.00000 (+ 0.00029422)
(2,20,821): 0.00000 (+ 0.00029422)
(2,20,822): 0.00000 (+ 0.00029422)
(2,20,823): 0.00000 (+ 0.00029422)
(2,20,824): 0.00000 (+ 0.00029422)
(2,20,825): 0.00000 (+ 0.00029422)
(2,20,826): 0.00000 (+ 0.00029422)
(2,20,827): 0.00000 (+ 0.00029422)
(2,20,828): 0.00000 (+ 0.00029422)
(2,20,829): 0.00000 (+ 0.00029422)
(2,20,830): 0.00000 (+ 0.00029422)
(2,20,831): 0.00000 (+ 0.00029422)
(2,20,832): 0.00000 (+ 0.00029422)
(2,20,833): 0.00000 (+ 0.00029422)
(2,20,834): 0.00000 (+ 0.00029422)
(2,20,835): 0.00000 (+ 0.00029422)
(2,20,836): 0.00000 (+ 0.00029422)
(2,20,837): 0.00000 (+ 0.00029422)
(2,20,838): 0.00000 (+ 0.00029422)
(2,20,839): 0.00000 (+ 0.00029422)
(2,20,840): 0.00000 (+ 0.00029422)
(2,20,841): 0.00000 (+ 0.00029422)
(2,20,842): 0.00000 (+ 0.00029422)
(2,20,843): 0.00000 (+ 0.00029422)
(2,20,844): 0.00000 (+ 0.00029422)
(2,20,845): 0.00000 (+ 0.00029422)
(2,20,846): 0.00000 (+ 0.00029422)
(2,20,847): 0.00000 (+ 0.00029422)
(2,20,848): 0.00000 (+ 0.00029422)
(2,20,849): 0.00000 (+ 0.00029422)
(2,20,850): 0.00000 (+ 0.00029422)
(2,20,851): 0.00000 (+ 0.00029422)
(2,20,852): 0.00000 (+ 0.00029422)
(2,20,853): 0.00000 (+ 0.00029422)
(2,20,854): 0.00000 (+ 0.00029422)
(2,20,855): 0.00000 (+ 0.00029422)
(2,20,856): 0.00000 (+ 0.00029422)
(2,20,857): 0.00000 (+ 0.00029422)
(2,20,858): 0.00000 (+ 0.00029422)
(2,20,859): 0.00000 (+ 0.00029422)
(2,20,860): 0.00000 (+ 0.00029422)
(2,20,861): 0.00000 (+ 0.00029422)
(2,20,862): 0.00000 (+ 0.00029422)
(2,20,863): 0.00000 (+ 0.00029422)
(2,20,864): 0.00000 (+ 0.00029422)
(2,20,865): 0.00000 (+ 0.00029422)
(2,20,866): 0.00000 (+ 0.00029422)
(2,20,867): 0.00000 (+ 0.00029422)
(2,20,868): 0.00000 (+ 0.00029422)
(2,20,869): 0.00000 (+ 0.00029422)
(2,20,870): 0.00000 (+ 0.00029422)
(2,20,871): 0.00000 (+ 0.00029422)
(2,20,872): 0.00000 (+ 0.00029422)
(2,20,873): 0.00000 (+ 0.00029422)
(2,20,874): 0.00000 (+ 0.00029422)
(2,20,875): 0.00000 (+ 0.00029422)
(2,20,876): 0.00000 (+ 0.00029422)
(2,20,877): 0.00000 (+ 0.00029422)
(2,20,878): 0.00000 (+ 0.00029422)
(2,20,879): 0.00000 (+ 0.00029422)
(2,20,880): 0.00000 (+ 0.00029422)
(2,20,881): 0.00000 (+ 0.00029422)
(2,20,882): 0.00000 (+ 0.00029422)
(2,20,883): 0.00000 (+ 0.00029422)
(2,20,884): 0.00000 (+ 0.00029422)
(2,20,885): 0.00000 (+ 0.00029422)
(2,20,886): 0.00000 (+ 0.00029422)
(2,20,887): 0.00000 (+ 0.00029422)
(2,20,888): 0.00000 (+ 0.00029422)
(2,20,889): 0.00000 (+ 0.00029422)
(2,20,890): 0.00000 (+ 0.00029422)
(2,20,891): 0.00000 (+ 0.00029422)
(2,20,892): 0.00000 (+ 0.00029422)
(2,20,893): 0.00000 (+ 0.00029422)
(2,20,894): 0.00000 (+ 0.00029422)
(2,20,895): 0.00000 (+ 0.00029422)
(2,20,896): 0.00000 (+ 0.00029422)
(2,20,897): 0.00000 (+ 0.00029422)
(2,20,898): 0.00000 (+ 0.00029422)
(2,20,899): 0.00000 (+ 0.00029422)
(2,20,900): 0.00000 (+ 0.00029422)
(2,20,901): 0.00000 (+ 0.00029422)
(2,20,902): 0.00000 (+ 0.00029422)
(2,20,903): 0.00000 (+ 0.00029422)
(2,20,904): 0.00000 (+ 0.00029422)
(2,20,905): 0.00000 (+ 0.00029422)
(2,20,906): 0.00000 (+ 0.00029422)
(2,20,907): 0.00000 (+ 0.00029422)
(2,20,908): 0.00000 (+ 0.00029422)
(2,20,909): 0.00000 (+ 0.00029422)
(2,20,910): 0.00000 (+ 0.00029422)
(2,20,911): 0.00000 (+ 0.00029422)
(2,20,912): 0.00000 (+ 0.00029422)
(2,20,913): 0.00000 (+ 0.00029422)
(2,20,914): 0.00000 (+ 0.00029422)
(2,20,915): 0.00000 (+ 0.00029422)
(2,20,916): 0.00000 (+ 0.00029422)
(2,20,917): 0.00000 (+ 0.00029422)
(2,20,918): 0.00000 (+ 0.00029422)
(2,20,919): 0.00000 (+ 0.00029422)
(2,20,920): 0.00000 (+ 0.00029422)
(2,20,921): 0.00000 (+ 0.00029422)
(2,20,922): 0.00000 (+ 0.00029422)
(2,20,923): 0.00000 (+ 0.00029422)
(2,20,924): 0.00000 (+ 0.00029422)
(2,20,925): 0.00000 (+ 0.00029422)
(2,20,926): 0.00000 (+ 0.00029422)
(2,20,927): 0.00000 (+ 0.00029422)
(2,20,928): 0.00000 (+ 0.00029422)
(2,20,929): 0.00000 (+ 0.00029422)
(2,20,930): 0.00000 (+ 0.00029422)
(2,20,931): 0.00000 (+ 0.00029422)
(2,20,932): 0.00000 (+ 0.00029422)
(2,20,933): 0.00000 (+ 0.00029422)
(2,20,934): 0.00000 (+ 0.00029422)
(2,20,935): 0.00000 (+ 0.00029422)
(2,20,936): 0.00000 (+ 0.00029422)
(2,20,937): 0.00000 (+ 0.00029422)
(2,20,938): 0.00000 (+ 0.00029422)
(2,20,939): 0.00000 (+ 0.00029422)
(2,20,940): 0.00000 (+ 0.00029422)
(2,20,941): 0.00000 (+ 0.00029422)
(2,20,942): 0.00000 (+ 0.00029422)
(2,20,943): 0.00000 (+ 0.00029422)
(2,20,944): 0.00000 (+ 0.00029422)
(2,20,945): 0.00000 (+ 0.00029422)
(2,20,946): 0.00000 (+ 0.00029422)
(2,20,947): 0.00000 (+ 0.00029422)
(2,20,948): 0.00000 (+ 0.00029422)
(2,20,949): 0.00000 (+ 0.00029422)
(2,20,950): 0.00000 (+ 0.00029422)
(2,20,951): 0.00000 (+ 0.00029422)
(2,20,952): 0.00000 (+ 0.00029422)
(2,20,953): 0.00000 (+ 0.00029422)
(2,20,954): 0.00000 (+ 0.00029422)
(2,20,955): 0.00000 (+ 0.00029422)
(2,20,956): 0.00000 (+ 0.00029422)
(2,20,957): 0.00000 (+ 0.00029422)
(2,20,958): 0.00000 (+ 0.00029422)
(2,20,959): 0.00000 (+ 0.00029422)
(2,20,960): 0.00000 (+ 0.00029422)
(2,20,961): 0.00000 (+ 0.00029422)
(2,20,962): 0.00000 (+ 0.00029422)
(2,20,963): 0.00000 (+ 0.00029422)
(2,20,964): 0.00000 (+ 0.00029422)
(2,20,965): 0.00000 (+ 0.00029422)
(2,20,966): 0.00000 (+ 0.00029422)
(2,20,967): 0.00000 (+ 0.00029422)
(2,20,968): 0.00000 (+ 0.00029422)
(2,20,969): 0.00000 (+ 0.00029422)
(2,20,970): 0.00000 (+ 0.00029422)
(2,20,971): 0.00000 (+ 0.00029422)
(2,20,972): 0.00000 (+ 0.00029422)
(2,20,973): 0.00000 (+ 0.00029422)
(2,20,974): 0.00000 (+ 0.00029422)
(2,20,975): 0.00000 (+ 0.00029422)
(2,20,976): 0.00000 (+ 0.00029422)
(2,20,977): 0.00000 (+ 0.00029422)
(2,20,978): 0.00000 (+ 0.00029422)
(2,20,979): 0.00000 (+ 0.00029422)
(2,20,980): 0.00000 (+ 0.00029422)
(2,20,981): 0.00000 (+ 0.00029422)
(2,20,982): 0.00000 (+ 0.00029422)
(2,20,983): 0.00000 (+ 0.00029422)
(2,20,984): 0.00000 (+ 0.00029422)
(2,20,985): 0.00000 (+ 0.00029422)
(2,20,986): 0.00000 (+ 0.00029422)
(2,20,987): 0.00000 (+ 0.00029422)
(2,20,988): 0.00000 (+ 0.00029422)
(2,20,989): 0.00000 (+ 0.00029422)
(2,20,990): 0.00000 (+ 0.00029422)
(2,20,991): 0.00000 (+ 0.00029422)
(2,20,992): 0.00000 (+ 0.00029422)
(2,20,993): 0.00000 (+ 0.00029422)
(2,20,994): 0.00000 (+ 0.00029422)
(2,20,995): 0.00000 (+ 0.00029422)
(2,20,996): 0.00000 (+ 0.00029422)
(2,20,997): 0.00000 (+ 0.00029422)
(2,20,998): 0.00000 (+ 0.00029422)
(2,20,999): 0.00000 (+ 0.00029422)
(2,20,1000): 0.00000 (+ 0.00029422)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:54 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-branch/crafted-branch.pm --const p=0.001,steps=20,levels=1000,loops=1000 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:46:54 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:46:56 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:46:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    63905 loops (47761/sec), 2363780 sampling steps, 1051 aborted
    loop condition 0.00046065, exit probability 0.00016907 in initial state
    2127 explored states, 2000 states in BSSCs (0 absorbing)
    62643 component updates, 1190217 transient state updates
    Bounds: [0.018661+1.69074e-04]@[0.01563](28), [0.98117+1.78478e-02]@[0.00000](62615)