sds.default-abs.ap-naive

Model:	(lumbroso)
Parameter(s)	N = 4000

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=4000  approximate --sampling SAMPLE_NAIVE  --precision 0.001

default engine and absolute (default) error criterion

Walltime (MC-Time):	28.558796882629395s (NA)
Return code:	0
Note(s):	Tool does not support file export.

(4000,902): 0.000249997 (+ 0.0000)
(4000,3509): 0.000249997 (+ 0.0000)
(4000,499): 0.000249997 (+ 0.0000)
(4000,2897): 0.000249997 (+ 0.0000)
(4000,1920): 0.000249997 (+ 0.0000)
(4000,1814): 0.000249997 (+ 0.0000)
(4000,1220): 0.000249997 (+ 0.0000)
(4000,2360): 0.000249997 (+ 0.0000)
(4000,3923): 0.000249997 (+ 0.0000)
(4000,2735): 0.000249997 (+ 0.0000)
(4000,1718): 0.000249997 (+ 0.0000)
(4000,3932): 0.000249983 (+ 0.0000)
(4000,2839): 0.000249982 (+ 0.0000)
(4000,1386): 0.000249982 (+ 0.0000)
(4000,983): 0.000249982 (+ 0.0000)
(4000,2548): 0.000249982 (+ 0.0000)
(4000,605): 0.000249982 (+ 0.0000)
(4000,2676): 0.000249982 (+ 0.0000)
(4000,3821): 0.000249982 (+ 0.0000)
(4000,3126): 0.000249982 (+ 0.0000)
(4000,606): 0.000249982 (+ 0.0000)
(4000,3110): 0.000249982 (+ 0.0000)
(4000,3856): 0.000249982 (+ 0.0000)
(4000,329): 0.000249982 (+ 0.0000)
(4000,916): 0.000249982 (+ 0.0000)
(4000,917): 0.000249982 (+ 0.0000)
(4000,2906): 0.000249982 (+ 0.0000)
(4000,1904): 0.000249982 (+ 0.0000)
(4000,2289): 0.000249982 (+ 0.0000)
(4000,2755): 0.000249982 (+ 0.0000)
(4000,3984): 0.000249982 (+ 0.0000)
(4000,3026): 0.000249982 (+ 0.0000)
(4000,1976): 0.000249982 (+ 0.0000)
(4000,1977): 0.000249982 (+ 0.0000)
(4000,1514): 0.000249982 (+ 0.0000)
(4000,1515): 0.000249982 (+ 0.0000)
(4000,724): 0.000249982 (+ 0.0000)
(4000,963): 0.000249982 (+ 0.0000)
(4000,1565): 0.000249982 (+ 0.0000)
(4000,3506): 0.000249982 (+ 0.0000)
(4000,284): 0.000249982 (+ 0.0000)
(4000,941): 0.000249982 (+ 0.0000)
(4000,2662): 0.000249982 (+ 0.0000)
(4000,908): 0.000249982 (+ 0.0000)
(4000,3171): 0.000249982 (+ 0.0000)
(4000,3188): 0.000249982 (+ 0.0000)
(4000,2246): 0.000249982 (+ 0.0000)
(4000,590): 0.000249982 (+ 0.0000)
(4000,1894): 0.000249982 (+ 0.0000)
(4000,1895): 0.000249982 (+ 0.0000)
(4000,1047): 0.000249982 (+ 0.0000)
(4000,2029): 0.000249982 (+ 0.0000)
(4000,1567): 0.000249982 (+ 0.0000)
(4000,1531): 0.000249982 (+ 0.0000)
(4000,3896): 0.000249982 (+ 0.0000)
(4000,2060): 0.000249982 (+ 0.0000)
(4000,3858): 0.000249982 (+ 0.0000)
(4000,222): 0.000249982 (+ 0.0000)
(4000,1985): 0.000249982 (+ 0.0000)
(4000,66): 0.000249982 (+ 0.0000)
(4000,2452): 0.000249982 (+ 0.0000)
(4000,1953): 0.000249982 (+ 0.0000)
(4000,1339): 0.000249982 (+ 0.0000)
(4000,1570): 0.000249982 (+ 0.0000)
(4000,2112): 0.000249982 (+ 0.0000)
(4000,1892): 0.000249982 (+ 0.0000)
(4000,822): 0.000249982 (+ 0.0000)
(4000,2708): 0.000249982 (+ 0.0000)
(4000,1176): 0.000249982 (+ 0.0000)
(4000,3053): 0.000249982 (+ 0.0000)
(4000,2384): 0.000249982 (+ 0.0000)
(4000,1363): 0.000249982 (+ 0.0000)
(4000,3650): 0.000249982 (+ 0.0000)
(4000,269): 0.000249982 (+ 0.0000)
(4000,3335): 0.000249982 (+ 0.0000)
(4000,3334): 0.000249982 (+ 0.0000)
(4000,1128): 0.000249982 (+ 0.0000)
(4000,1636): 0.000249982 (+ 0.0000)
(4000,384): 0.000249982 (+ 0.0000)
(4000,859): 0.000249982 (+ 0.0000)
(4000,648): 0.000249982 (+ 0.0000)
(4000,924): 0.000249982 (+ 0.0000)
(4000,1407): 0.000249982 (+ 0.0000)
(4000,1240): 0.000249982 (+ 0.0000)
(4000,2871): 0.000249982 (+ 0.0000)
(4000,965): 0.000249982 (+ 0.0000)
(4000,1794): 0.000249982 (+ 0.0000)
(4000,659): 0.000249982 (+ 0.0000)
(4000,895): 0.000249982 (+ 0.0000)
(4000,3174): 0.000249982 (+ 0.0000)
(4000,3937): 0.000249982 (+ 0.0000)
(4000,3871): 0.000249982 (+ 0.0000)
(4000,3508): 0.000249982 (+ 0.0000)
(4000,1806): 0.000249982 (+ 0.0000)
(4000,1889): 0.000249982 (+ 0.0000)
(4000,3777): 0.000249982 (+ 0.0000)
(4000,1150): 0.000249982 (+ 0.0000)
(4000,2311): 0.000249982 (+ 0.0000)
(4000,45): 0.000249982 (+ 0.0000)
(4000,1135): 0.000249982 (+ 0.0000)
(4000,2104): 0.000249982 (+ 0.0000)
(4000,3741): 0.000249982 (+ 0.0000)
(4000,2651): 0.000249982 (+ 0.0000)
(4000,3641): 0.000249982 (+ 0.0000)
(4000,1062): 0.000249982 (+ 0.0000)
(4000,2566): 0.000249982 (+ 0.0000)
(4000,3416): 0.000249982 (+ 0.0000)
(4000,2602): 0.000249982 (+ 0.0000)
(4000,108): 0.000249982 (+ 0.0000)
(4000,109): 0.000249982 (+ 0.0000)
(4000,2312): 0.000249982 (+ 0.0000)
(4000,1229): 0.000249982 (+ 0.0000)
(4000,759): 0.000249982 (+ 0.0000)
(4000,1518): 0.000249982 (+ 0.0000)
(4000,2362): 0.000249982 (+ 0.0000)
(4000,553): 0.000249982 (+ 0.0000)
(4000,2718): 0.000249982 (+ 0.0000)
(4000,314): 0.000249982 (+ 0.0000)
(4000,1114): 0.000249982 (+ 0.0000)
(4000,1843): 0.000249982 (+ 0.0000)
(4000,6): 0.000249982 (+ 0.0000)
(4000,3306): 0.000249982 (+ 0.0000)
(4000,688): 0.000249982 (+ 0.0000)
(4000,1448): 0.000249982 (+ 0.0000)
(4000,3149): 0.000249982 (+ 0.0000)
(4000,2277): 0.000249982 (+ 0.0000)
(4000,3767): 0.000249982 (+ 0.0000)
(4000,2237): 0.000249982 (+ 0.0000)
(4000,2184): 0.000249982 (+ 0.0000)
(4000,186): 0.000249982 (+ 0.0000)
(4000,3137): 0.000249982 (+ 0.0000)
(4000,1620): 0.000249982 (+ 0.0000)
(4000,641): 0.000249982 (+ 0.0000)
(4000,2301): 0.000249982 (+ 0.0000)
(4000,1750): 0.000249982 (+ 0.0000)
(4000,3555): 0.000249982 (+ 0.0000)
(4000,2180): 0.000249982 (+ 0.0000)
(4000,3374): 0.000249982 (+ 0.0000)
(4000,853): 0.000249982 (+ 0.0000)
(4000,2238): 0.000249982 (+ 0.0000)
(4000,2239): 0.000249982 (+ 0.0000)
(4000,1474): 0.000249982 (+ 0.0000)
(4000,2027): 0.000249982 (+ 0.0000)
(4000,2199): 0.000249982 (+ 0.0000)
(4000,609): 0.000249982 (+ 0.0000)
(4000,3924): 0.000249982 (+ 0.0000)
(4000,11): 0.000249982 (+ 0.0000)
(4000,3411): 0.000249982 (+ 0.0000)
(4000,3570): 0.000249982 (+ 0.0000)
(4000,2660): 0.000249982 (+ 0.0000)
(4000,391): 0.000249982 (+ 0.0000)
(4000,1897): 0.000249982 (+ 0.0000)
(4000,2400): 0.000249982 (+ 0.0000)
(4000,246): 0.000249982 (+ 0.0000)
(4000,3357): 0.000249982 (+ 0.0000)
(4000,3256): 0.000249982 (+ 0.0000)
(4000,1197): 0.000249982 (+ 0.0000)
(4000,32): 0.000249982 (+ 0.0000)
(4000,2516): 0.000249982 (+ 0.0000)
(4000,3893): 0.000249982 (+ 0.0000)
(4000,1438): 0.000249982 (+ 0.0000)
(4000,1683): 0.000249982 (+ 0.0000)
(4000,587): 0.000249982 (+ 0.0000)
(4000,586): 0.000249982 (+ 0.0000)
(4000,3308): 0.000249982 (+ 0.0000)
(4000,3186): 0.000249982 (+ 0.0000)
(4000,3187): 0.000249982 (+ 0.0000)
(4000,977): 0.000249982 (+ 0.0000)
(4000,2278): 0.000249982 (+ 0.0000)
(4000,2279): 0.000249982 (+ 0.0000)
(4000,1642): 0.000249982 (+ 0.0000)
(4000,712): 0.000249982 (+ 0.0000)
(4000,1233): 0.000249982 (+ 0.0000)
(4000,789): 0.000249982 (+ 0.0000)
(4000,1615): 0.000249982 (+ 0.0000)
(4000,3447): 0.000249982 (+ 0.0000)
(4000,614): 0.000249982 (+ 0.0000)
(4000,3099): 0.000249982 (+ 0.0000)
(4000,2332): 0.000249982 (+ 0.0000)
(4000,566): 0.000249982 (+ 0.0000)
(4000,3965): 0.000249982 (+ 0.0000)
(4000,2854): 0.000249982 (+ 0.0000)
(4000,2407): 0.000249982 (+ 0.0000)
(4000,1887): 0.000249982 (+ 0.0000)
(4000,3959): 0.000249982 (+ 0.0000)
(4000,3610): 0.000249982 (+ 0.0000)
(4000,0): 0.000249982 (+ 0.0000)
(4000,616): 0.000249982 (+ 0.0000)
(4000,2830): 0.000249982 (+ 0.0000)
(4000,3970): 0.000249982 (+ 0.0000)
(4000,2267): 0.000249982 (+ 0.0000)
(4000,2266): 0.000249982 (+ 0.0000)
(4000,3797): 0.000249982 (+ 0.0000)
(4000,3933): 0.000249982 (+ 0.0000)
(4000,679): 0.000249982 (+ 0.0000)
(4000,1820): 0.000249982 (+ 0.0000)
(4000,3609): 0.000249982 (+ 0.0000)
(4000,1158): 0.000249982 (+ 0.0000)
(4000,2049): 0.000249982 (+ 0.0000)
(4000,2510): 0.000249982 (+ 0.0000)
(4000,3980): 0.000249982 (+ 0.0000)
(4000,3981): 0.000249982 (+ 0.0000)
(4000,2560): 0.000249982 (+ 0.0000)
(4000,375): 0.000249982 (+ 0.0000)
(4000,3761): 0.000249982 (+ 0.0000)
(4000,2417): 0.000249982 (+ 0.0000)
(4000,2416): 0.000249982 (+ 0.0000)
(4000,2739): 0.000249982 (+ 0.0000)
(4000,378): 0.000249982 (+ 0.0000)
(4000,1085): 0.000249982 (+ 0.0000)
(4000,2847): 0.000249982 (+ 0.0000)
(4000,1377): 0.000249982 (+ 0.0000)
(4000,2804): 0.000249982 (+ 0.0000)
(4000,65): 0.000249982 (+ 0.0000)
(4000,2448): 0.000249982 (+ 0.0000)
(4000,2589): 0.000249982 (+ 0.0000)
(4000,1701): 0.000249982 (+ 0.0000)
(4000,2447): 0.000249982 (+ 0.0000)
(4000,422): 0.000249982 (+ 0.0000)
(4000,627): 0.000249982 (+ 0.0000)
(4000,326): 0.000249982 (+ 0.0000)
(4000,2668): 0.000249982 (+ 0.0000)
(4000,3579): 0.000249982 (+ 0.0000)
(4000,3578): 0.000249982 (+ 0.0000)
(4000,448): 0.000249982 (+ 0.0000)
(4000,3009): 0.000249982 (+ 0.0000)
(4000,2193): 0.000249982 (+ 0.0000)
(4000,2192): 0.000249982 (+ 0.0000)
(4000,1899): 0.000249982 (+ 0.0000)
(4000,701): 0.000249982 (+ 0.0000)
(4000,646): 0.000249982 (+ 0.0000)
(4000,3088): 0.000249982 (+ 0.0000)
(4000,3354): 0.000249982 (+ 0.0000)
(4000,1703): 0.000249982 (+ 0.0000)
(4000,3669): 0.000249982 (+ 0.0000)
(4000,3296): 0.000249982 (+ 0.0000)
(4000,3420): 0.000249982 (+ 0.0000)
(4000,1375): 0.000249982 (+ 0.0000)
(4000,287): 0.000249982 (+ 0.0000)
(4000,3908): 0.000249982 (+ 0.0000)
(4000,1577): 0.000249982 (+ 0.0000)
(4000,72): 0.000249982 (+ 0.0000)
(4000,1876): 0.000249982 (+ 0.0000)
(4000,3534): 0.000249982 (+ 0.0000)
(4000,3284): 0.000249982 (+ 0.0000)
(4000,3513): 0.000249982 (+ 0.0000)
(4000,3801): 0.000249982 (+ 0.0000)
(4000,3900): 0.000249982 (+ 0.0000)
(4000,620): 0.000249982 (+ 0.0000)
(4000,126): 0.000249982 (+ 0.0000)
(4000,561): 0.000249982 (+ 0.0000)
(4000,3703): 0.000249982 (+ 0.0000)
(4000,272): 0.000249982 (+ 0.0000)
(4000,3427): 0.000249982 (+ 0.0000)
(4000,3863): 0.000249982 (+ 0.0000)
(4000,2260): 0.000249982 (+ 0.0000)
(4000,310): 0.000249982 (+ 0.0000)
(4000,482): 0.000249982 (+ 0.0000)
(4000,3847): 0.000249982 (+ 0.0000)
(4000,3846): 0.000249982 (+ 0.0000)
(4000,2776): 0.000249982 (+ 0.0000)
(4000,3412): 0.000249982 (+ 0.0000)
(4000,780): 0.000249982 (+ 0.0000)
(4000,1247): 0.000249982 (+ 0.0000)
(4000,229): 0.000249982 (+ 0.0000)
(4000,2461): 0.000249982 (+ 0.0000)
(4000,2357): 0.000249982 (+ 0.0000)
(4000,2229): 0.000249982 (+ 0.0000)
(4000,1856): 0.000249982 (+ 0.0000)
(4000,1273): 0.000249982 (+ 0.0000)
(4000,528): 0.000249982 (+ 0.0000)
(4000,2262): 0.000249982 (+ 0.0000)
(4000,2067): 0.000249982 (+ 0.0000)
(4000,2472): 0.000249982 (+ 0.0000)
(4000,775): 0.000249982 (+ 0.0000)
(4000,1695): 0.000249982 (+ 0.0000)
(4000,3717): 0.000249982 (+ 0.0000)
(4000,715): 0.000249982 (+ 0.0000)
(4000,3018): 0.000249982 (+ 0.0000)
(4000,2653): 0.000249982 (+ 0.0000)
(4000,1754): 0.000249982 (+ 0.0000)
(4000,1658): 0.000249982 (+ 0.0000)
(4000,1860): 0.000249982 (+ 0.0000)
(4000,667): 0.000249982 (+ 0.0000)
(4000,666): 0.000249982 (+ 0.0000)
(4000,2501): 0.000249982 (+ 0.0000)
(4000,2500): 0.000249982 (+ 0.0000)
(4000,497): 0.000249982 (+ 0.0000)
(4000,2681): 0.000249982 (+ 0.0000)
(4000,3321): 0.000249982 (+ 0.0000)
(4000,3432): 0.000249982 (+ 0.0000)
(4000,3016): 0.000249982 (+ 0.0000)
(4000,2849): 0.000249982 (+ 0.0000)
(4000,3510): 0.000249982 (+ 0.0000)
(4000,2614): 0.000249982 (+ 0.0000)
(4000,1597): 0.000249982 (+ 0.0000)
(4000,3686): 0.000249982 (+ 0.0000)
(4000,1017): 0.000249982 (+ 0.0000)
(4000,1645): 0.000249982 (+ 0.0000)
(4000,1153): 0.000249982 (+ 0.0000)
(4000,866): 0.000249982 (+ 0.0000)
(4000,2370): 0.000249982 (+ 0.0000)
(4000,2101): 0.000249982 (+ 0.0000)
(4000,719): 0.000249982 (+ 0.0000)
(4000,718): 0.000249982 (+ 0.0000)
(4000,347): 0.000249982 (+ 0.0000)
(4000,2305): 0.000249982 (+ 0.0000)
(4000,3370): 0.000249982 (+ 0.0000)
(4000,3295): 0.000249982 (+ 0.0000)
(4000,3236): 0.000249982 (+ 0.0000)
(4000,1305): 0.000249982 (+ 0.0000)
(4000,2408): 0.000249982 (+ 0.0000)
(4000,3595): 0.000249982 (+ 0.0000)
(4000,3594): 0.000249982 (+ 0.0000)
(4000,3976): 0.000249982 (+ 0.0000)
(4000,404): 0.000249982 (+ 0.0000)
(4000,405): 0.000249982 (+ 0.0000)
(4000,1479): 0.000249982 (+ 0.0000)
(4000,1916): 0.000249982 (+ 0.0000)
(4000,2527): 0.000249982 (+ 0.0000)
(4000,3431): 0.000249982 (+ 0.0000)
(4000,3050): 0.000249982 (+ 0.0000)
(4000,943): 0.000249982 (+ 0.0000)
(4000,1949): 0.000249982 (+ 0.0000)
(4000,1948): 0.000249982 (+ 0.0000)
(4000,2003): 0.000249982 (+ 0.0000)
(4000,3674): 0.000249982 (+ 0.0000)
(4000,3675): 0.000249982 (+ 0.0000)
(4000,1836): 0.000249982 (+ 0.0000)
(4000,3260): 0.000249982 (+ 0.0000)
(4000,2451): 0.000249982 (+ 0.0000)
(4000,2450): 0.000249982 (+ 0.0000)
(4000,2925): 0.000249982 (+ 0.0000)
(4000,2624): 0.000249982 (+ 0.0000)
(4000,1648): 0.000249982 (+ 0.0000)
(4000,3516): 0.000249982 (+ 0.0000)
(4000,3169): 0.000249982 (+ 0.0000)
(4000,1551): 0.000249982 (+ 0.0000)
(4000,2496): 0.000249982 (+ 0.0000)
(4000,2497): 0.000249982 (+ 0.0000)
(4000,1334): 0.000249982 (+ 0.0000)
(4000,3714): 0.000249982 (+ 0.0000)
(4000,1549): 0.000249982 (+ 0.0000)
(4000,3456): 0.000249982 (+ 0.0000)
(4000,2618): 0.000249982 (+ 0.0000)
(4000,1223): 0.000249982 (+ 0.0000)
(4000,879): 0.000249982 (+ 0.0000)
(4000,1317): 0.000249982 (+ 0.0000)
(4000,2465): 0.000249982 (+ 0.0000)
(4000,2902): 0.000249982 (+ 0.0000)
(4000,2903): 0.000249982 (+ 0.0000)
(4000,464): 0.000249982 (+ 0.0000)
(4000,3960): 0.000249982 (+ 0.0000)
(4000,1511): 0.000249982 (+ 0.0000)
(4000,1973): 0.000249982 (+ 0.0000)
(4000,814): 0.000249982 (+ 0.0000)
(4000,2629): 0.000249982 (+ 0.0000)
(4000,1349): 0.000249982 (+ 0.0000)
(4000,1014): 0.000249982 (+ 0.0000)
(4000,3332): 0.000249982 (+ 0.0000)
(4000,1496): 0.000249982 (+ 0.0000)
(4000,2017): 0.000249982 (+ 0.0000)
(4000,3364): 0.000249982 (+ 0.0000)
(4000,183): 0.000249982 (+ 0.0000)
(4000,3868): 0.000249982 (+ 0.0000)
(4000,173): 0.000249982 (+ 0.0000)
(4000,1075): 0.000249982 (+ 0.0000)
(4000,2082): 0.000249982 (+ 0.0000)
(4000,1942): 0.000249982 (+ 0.0000)
(4000,1188): 0.000249982 (+ 0.0000)
(4000,694): 0.000249982 (+ 0.0000)
(4000,369): 0.000249982 (+ 0.0000)
(4000,3544): 0.000249982 (+ 0.0000)
(4000,387): 0.000249982 (+ 0.0000)
(4000,2150): 0.000249982 (+ 0.0000)
(4000,2387): 0.000249982 (+ 0.0000)
(4000,1791): 0.000249982 (+ 0.0000)
(4000,778): 0.000249982 (+ 0.0000)
(4000,94): 0.000249982 (+ 0.0000)
(4000,1372): 0.000249982 (+ 0.0000)
(4000,2103): 0.000249982 (+ 0.0000)
(4000,3634): 0.000249982 (+ 0.0000)
(4000,3635): 0.000249982 (+ 0.0000)
(4000,1595): 0.000249982 (+ 0.0000)
(4000,2999): 0.000249982 (+ 0.0000)
(4000,1286): 0.000249982 (+ 0.0000)
(4000,291): 0.000249982 (+ 0.0000)
(4000,1556): 0.000249982 (+ 0.0000)
(4000,2892): 0.000249982 (+ 0.0000)
(4000,3070): 0.000249982 (+ 0.0000)
(4000,2319): 0.000249982 (+ 0.0000)
(4000,3753): 0.000249982 (+ 0.0000)
(4000,2230): 0.000249982 (+ 0.0000)
(4000,3731): 0.000249982 (+ 0.0000)
(4000,2282): 0.000249982 (+ 0.0000)
(4000,463): 0.000249982 (+ 0.0000)
(4000,3057): 0.000249982 (+ 0.0000)
(4000,3097): 0.000249982 (+ 0.0000)
(4000,926): 0.000249982 (+ 0.0000)
(4000,728): 0.000249982 (+ 0.0000)
(4000,3553): 0.000249982 (+ 0.0000)
(4000,934): 0.000249982 (+ 0.0000)
(4000,3491): 0.000249982 (+ 0.0000)
(4000,2249): 0.000249982 (+ 0.0000)
(4000,3408): 0.000249982 (+ 0.0000)
(4000,3409): 0.000249982 (+ 0.0000)
(4000,1358): 0.000249982 (+ 0.0000)
(4000,1332): 0.000249982 (+ 0.0000)
(4000,135): 0.000249982 (+ 0.0000)
(4000,2108): 0.000249982 (+ 0.0000)
(4000,3993): 0.000249982 (+ 0.0000)
(4000,2995): 0.000249982 (+ 0.0000)
(4000,871): 0.000249982 (+ 0.0000)
(4000,870): 0.000249982 (+ 0.0000)
(4000,2600): 0.000249982 (+ 0.0000)
(4000,2206): 0.000249982 (+ 0.0000)
(4000,767): 0.000249982 (+ 0.0000)
(4000,3696): 0.000249982 (+ 0.0000)
(4000,2679): 0.000249982 (+ 0.0000)
(4000,3131): 0.000249982 (+ 0.0000)
(4000,1141): 0.000249982 (+ 0.0000)
(4000,827): 0.000249982 (+ 0.0000)
(4000,826): 0.000249982 (+ 0.0000)
(4000,2000): 0.000249982 (+ 0.0000)
(4000,1243): 0.000249982 (+ 0.0000)
(4000,1326): 0.000249982 (+ 0.0000)
(4000,373): 0.000249982 (+ 0.0000)
(4000,899): 0.000249982 (+ 0.0000)
(4000,1238): 0.000249982 (+ 0.0000)
(4000,1662): 0.000249982 (+ 0.0000)
(4000,972): 0.000249982 (+ 0.0000)
(4000,3214): 0.000249982 (+ 0.0000)
(4000,132): 0.000249982 (+ 0.0000)
(4000,2257): 0.000249982 (+ 0.0000)
(4000,3878): 0.000249982 (+ 0.0000)
(4000,3597): 0.000249982 (+ 0.0000)
(4000,3201): 0.000249982 (+ 0.0000)
(4000,122): 0.000249982 (+ 0.0000)
(4000,3843): 0.000249982 (+ 0.0000)
(4000,3339): 0.000249982 (+ 0.0000)
(4000,2832): 0.000249982 (+ 0.0000)
(4000,2299): 0.000249982 (+ 0.0000)
(4000,3109): 0.000249982 (+ 0.0000)
(4000,2434): 0.000249982 (+ 0.0000)
(4000,2355): 0.000249982 (+ 0.0000)
(4000,325): 0.000249982 (+ 0.0000)
(4000,1568): 0.000249982 (+ 0.0000)
(4000,1403): 0.000249982 (+ 0.0000)
(4000,3029): 0.000249982 (+ 0.0000)
(4000,1337): 0.000249982 (+ 0.0000)
(4000,720): 0.000249982 (+ 0.0000)
(4000,3670): 0.000249982 (+ 0.0000)
(4000,3195): 0.000249982 (+ 0.0000)
(4000,2205): 0.000249982 (+ 0.0000)
(4000,357): 0.000249982 (+ 0.0000)
(4000,1147): 0.000249982 (+ 0.0000)
(4000,219): 0.000249982 (+ 0.0000)
(4000,2530): 0.000249982 (+ 0.0000)
(4000,2531): 0.000249982 (+ 0.0000)
(4000,234): 0.000249982 (+ 0.0000)
(4000,235): 0.000249982 (+ 0.0000)
(4000,3390): 0.000249982 (+ 0.0000)
(4000,2769): 0.000249982 (+ 0.0000)
(4000,2790): 0.000249982 (+ 0.0000)
(4000,1343): 0.000249982 (+ 0.0000)
(4000,873): 0.000249982 (+ 0.0000)
(4000,2480): 0.000249982 (+ 0.0000)
(4000,3270): 0.000249982 (+ 0.0000)
(4000,653): 0.000249982 (+ 0.0000)
(4000,2967): 0.000249982 (+ 0.0000)
(4000,2346): 0.000249982 (+ 0.0000)
(4000,3841): 0.000249982 (+ 0.0000)
(4000,34): 0.000249982 (+ 0.0000)
(4000,1935): 0.000249982 (+ 0.0000)
(4000,1868): 0.000249982 (+ 0.0000)
(4000,2537): 0.000249982 (+ 0.0000)
(4000,506): 0.000249982 (+ 0.0000)
(4000,922): 0.000249982 (+ 0.0000)
(4000,2806): 0.000249982 (+ 0.0000)
(4000,1602): 0.000249982 (+ 0.0000)
(4000,417): 0.000249982 (+ 0.0000)
(4000,3881): 0.000249982 (+ 0.0000)
(4000,3880): 0.000249982 (+ 0.0000)
(4000,3102): 0.000249982 (+ 0.0000)
(4000,1123): 0.000249982 (+ 0.0000)
(4000,3692): 0.000249982 (+ 0.0000)
(4000,670): 0.000249982 (+ 0.0000)
(4000,1384): 0.000249982 (+ 0.0000)
(4000,2240): 0.000249982 (+ 0.0000)
(4000,3482): 0.000249982 (+ 0.0000)
(4000,2632): 0.000249982 (+ 0.0000)
(4000,551): 0.000249982 (+ 0.0000)
(4000,550): 0.000249982 (+ 0.0000)
(4000,3067): 0.000249982 (+ 0.0000)
(4000,3134): 0.000249982 (+ 0.0000)
(4000,792): 0.000249982 (+ 0.0000)
(4000,793): 0.000249982 (+ 0.0000)
(4000,3884): 0.000249982 (+ 0.0000)
(4000,3885): 0.000249982 (+ 0.0000)
(4000,209): 0.000249982 (+ 0.0000)
(4000,1871): 0.000249982 (+ 0.0000)
(4000,1870): 0.000249982 (+ 0.0000)
(4000,1267): 0.000249982 (+ 0.0000)
(4000,2073): 0.000249982 (+ 0.0000)
(4000,340): 0.000249982 (+ 0.0000)
(4000,3939): 0.000249982 (+ 0.0000)
(4000,846): 0.000249982 (+ 0.0000)
(4000,1939): 0.000249982 (+ 0.0000)
(4000,1938): 0.000249982 (+ 0.0000)
(4000,2751): 0.000249982 (+ 0.0000)
(4000,2036): 0.000249982 (+ 0.0000)
(4000,3318): 0.000249982 (+ 0.0000)
(4000,1186): 0.000249982 (+ 0.0000)
(4000,811): 0.000249982 (+ 0.0000)
(4000,3568): 0.000249982 (+ 0.0000)
(4000,1137): 0.000249982 (+ 0.0000)
(4000,1947): 0.000249982 (+ 0.0000)
(4000,1900): 0.000249982 (+ 0.0000)
(4000,505): 0.000249982 (+ 0.0000)
(4000,1965): 0.000249982 (+ 0.0000)
(4000,3263): 0.000249982 (+ 0.0000)
(4000,2099): 0.000249982 (+ 0.0000)
(4000,2582): 0.000249982 (+ 0.0000)
(4000,283): 0.000249982 (+ 0.0000)
(4000,3778): 0.000249982 (+ 0.0000)
(4000,3779): 0.000249982 (+ 0.0000)
(4000,332): 0.000249982 (+ 0.0000)
(4000,686): 0.000249982 (+ 0.0000)
(4000,730): 0.000249982 (+ 0.0000)
(4000,731): 0.000249982 (+ 0.0000)
(4000,80): 0.000249982 (+ 0.0000)
(4000,55): 0.000249982 (+ 0.0000)
(4000,2499): 0.000249982 (+ 0.0000)
(4000,2418): 0.000249982 (+ 0.0000)
(4000,3729): 0.000249982 (+ 0.0000)
(4000,2489): 0.000249982 (+ 0.0000)
(4000,344): 0.000249982 (+ 0.0000)
(4000,1472): 0.000249982 (+ 0.0000)
(4000,1589): 0.000249982 (+ 0.0000)
(4000,2476): 0.000249982 (+ 0.0000)
(4000,1761): 0.000249982 (+ 0.0000)
(4000,2377): 0.000249982 (+ 0.0000)
(4000,2376): 0.000249982 (+ 0.0000)
(4000,1440): 0.000249982 (+ 0.0000)
(4000,2330): 0.000249982 (+ 0.0000)
(4000,1580): 0.000249982 (+ 0.0000)
(4000,3574): 0.000249982 (+ 0.0000)
(4000,3040): 0.000249982 (+ 0.0000)
(4000,3329): 0.000249982 (+ 0.0000)
(4000,1714): 0.000249982 (+ 0.0000)
(4000,1715): 0.000249982 (+ 0.0000)
(4000,2190): 0.000249982 (+ 0.0000)
(4000,3598): 0.000249982 (+ 0.0000)
(4000,144): 0.000249982 (+ 0.0000)
(4000,1689): 0.000249982 (+ 0.0000)
(4000,3253): 0.000249982 (+ 0.0000)
(4000,1865): 0.000249982 (+ 0.0000)
(4000,3564): 0.000249982 (+ 0.0000)
(4000,1698): 0.000249982 (+ 0.0000)
(4000,2640): 0.000249982 (+ 0.0000)
(4000,149): 0.000249982 (+ 0.0000)
(4000,1413): 0.000249982 (+ 0.0000)
(4000,3560): 0.000249982 (+ 0.0000)
(4000,1160): 0.000249982 (+ 0.0000)
(4000,312): 0.000249982 (+ 0.0000)
(4000,1801): 0.000249982 (+ 0.0000)
(4000,2281): 0.000249982 (+ 0.0000)
(4000,2317): 0.000249982 (+ 0.0000)
(4000,2316): 0.000249982 (+ 0.0000)
(4000,3245): 0.000249982 (+ 0.0000)
(4000,3647): 0.000249982 (+ 0.0000)
(4000,3646): 0.000249982 (+ 0.0000)
(4000,675): 0.000249982 (+ 0.0000)
(4000,265): 0.000249982 (+ 0.0000)
(4000,2935): 0.000249982 (+ 0.0000)
(4000,3524): 0.000249982 (+ 0.0000)
(4000,828): 0.000249982 (+ 0.0000)
(4000,2189): 0.000249982 (+ 0.0000)
(4000,3086): 0.000249982 (+ 0.0000)
(4000,3087): 0.000249982 (+ 0.0000)
(4000,3679): 0.000249982 (+ 0.0000)
(4000,3872): 0.000249982 (+ 0.0000)
(4000,2734): 0.000249982 (+ 0.0000)
(4000,2359): 0.000249982 (+ 0.0000)
(4000,3658): 0.000249982 (+ 0.0000)
(4000,446): 0.000249982 (+ 0.0000)
(4000,832): 0.000249982 (+ 0.0000)
(4000,2759): 0.000249982 (+ 0.0000)
(4000,1214): 0.000249982 (+ 0.0000)
(4000,3481): 0.000249982 (+ 0.0000)
(4000,3636): 0.000249982 (+ 0.0000)
(4000,954): 0.000249982 (+ 0.0000)
(4000,3025): 0.000249982 (+ 0.0000)
(4000,1191): 0.000249982 (+ 0.0000)
(4000,3662): 0.000249982 (+ 0.0000)
(4000,1830): 0.000249982 (+ 0.0000)
(4000,2946): 0.000249982 (+ 0.0000)
(4000,101): 0.000249982 (+ 0.0000)
(4000,1825): 0.000249982 (+ 0.0000)
(4000,2671): 0.000249982 (+ 0.0000)
(4000,1538): 0.000249982 (+ 0.0000)
(4000,2074): 0.000249982 (+ 0.0000)
(4000,401): 0.000249982 (+ 0.0000)
(4000,1278): 0.000249982 (+ 0.0000)
(4000,1674): 0.000249982 (+ 0.0000)
(4000,3080): 0.000249982 (+ 0.0000)
(4000,1133): 0.000249878 (+ 0.0000)
(4000,3452): 0.000249878 (+ 0.0000)
(4000,2453): 0.000249878 (+ 0.0000)
(4000,3515): 0.000249878 (+ 0.0000)
(4000,1578): 0.000249878 (+ 0.0000)
(4000,2957): 0.000249878 (+ 0.0000)
(4000,854): 0.000249878 (+ 0.0000)
(4000,3734): 0.000249878 (+ 0.0000)
(4000,105): 0.000249878 (+ 0.0000)
(4000,216): 0.000249878 (+ 0.0000)
(4000,3021): 0.000249878 (+ 0.0000)
(4000,788): 0.000249878 (+ 0.0000)
(4000,1614): 0.000249878 (+ 0.0000)
(4000,1886): 0.000249878 (+ 0.0000)
(4000,2821): 0.000249878 (+ 0.0000)
(4000,1631): 0.000249878 (+ 0.0000)
(4000,3576): 0.000249878 (+ 0.0000)
(4000,1898): 0.000249878 (+ 0.0000)
(4000,2824): 0.000249878 (+ 0.0000)
(4000,851): 0.000249878 (+ 0.0000)
(4000,3808): 0.000249878 (+ 0.0000)
(4000,3230): 0.000249878 (+ 0.0000)
(4000,3687): 0.000249878 (+ 0.0000)
(4000,2371): 0.000249878 (+ 0.0000)
(4000,53): 0.000249878 (+ 0.0000)
(4000,2388): 0.000249878 (+ 0.0000)
(4000,959): 0.000249878 (+ 0.0000)
(4000,2534): 0.000249878 (+ 0.0000)
(4000,892): 0.000249878 (+ 0.0000)
(4000,200): 0.000249878 (+ 0.0000)
(4000,3092): 0.000249878 (+ 0.0000)
(4000,763): 0.000249878 (+ 0.0000)
(4000,2157): 0.000249878 (+ 0.0000)
(4000,158): 0.000249878 (+ 0.0000)
(4000,3043): 0.000249878 (+ 0.0000)
(4000,2963): 0.000249878 (+ 0.0000)
(4000,2994): 0.000249878 (+ 0.0000)
(4000,754): 0.000249878 (+ 0.0000)
(4000,3625): 0.000249878 (+ 0.0000)
(4000,3172): 0.000249878 (+ 0.0000)
(4000,87): 0.000249878 (+ 0.0000)
(4000,1142): 0.000249878 (+ 0.0000)
(4000,3848): 0.000249878 (+ 0.0000)
(4000,2160): 0.000249878 (+ 0.0000)
(4000,2079): 0.000249878 (+ 0.0000)
(4000,2731): 0.000249878 (+ 0.0000)
(4000,3229): 0.000249878 (+ 0.0000)
(4000,2227): 0.000249878 (+ 0.0000)
(4000,2197): 0.000249878 (+ 0.0000)
(4000,341): 0.000249878 (+ 0.0000)
(4000,26): 0.000249878 (+ 0.0000)
(4000,739): 0.000249878 (+ 0.0000)
(4000,380): 0.000249878 (+ 0.0000)
(4000,2875): 0.000249878 (+ 0.0000)
(4000,3046): 0.000249878 (+ 0.0000)
(4000,2014): 0.000249878 (+ 0.0000)
(4000,3565): 0.000249878 (+ 0.0000)
(4000,2280): 0.000249878 (+ 0.0000)
(4000,339): 0.000249878 (+ 0.0000)
(4000,1502): 0.000249878 (+ 0.0000)
(4000,2923): 0.000249878 (+ 0.0000)
(4000,1079): 0.000249878 (+ 0.0000)
(4000,2920): 0.000249878 (+ 0.0000)
(4000,398): 0.000249865 (+ 0.0000)
(4000,3310): 0.000249865 (+ 0.0000)
(4000,2748): 0.000249865 (+ 0.0000)
(4000,3824): 0.000249865 (+ 0.0000)
(4000,1768): 0.000249865 (+ 0.0000)
(4000,268): 0.000249864 (+ 0.0000)
(4000,3078): 0.000249863 (+ 0.0000)
(4000,3079): 0.000249863 (+ 0.0000)
(4000,2838): 0.000249863 (+ 0.0000)
(4000,2771): 0.000249863 (+ 0.0000)
(4000,2770): 0.000249863 (+ 0.0000)
(4000,2177): 0.000249863 (+ 0.0000)
(4000,2176): 0.000249863 (+ 0.0000)
(4000,1285): 0.000249863 (+ 0.0000)
(4000,1672): 0.000249863 (+ 0.0000)
(4000,1673): 0.000249863 (+ 0.0000)
(4000,861): 0.000249863 (+ 0.0000)
(4000,2965): 0.000249863 (+ 0.0000)
(4000,2964): 0.000249863 (+ 0.0000)
(4000,2899): 0.000249863 (+ 0.0000)
(4000,2898): 0.000249863 (+ 0.0000)
(4000,3304): 0.000249863 (+ 0.0000)
(4000,3305): 0.000249863 (+ 0.0000)
(4000,1387): 0.000249863 (+ 0.0000)
(4000,2211): 0.000249863 (+ 0.0000)
(4000,2818): 0.000249863 (+ 0.0000)
(4000,2819): 0.000249863 (+ 0.0000)
(4000,3619): 0.000249863 (+ 0.0000)
(4000,3492): 0.000249863 (+ 0.0000)
(4000,3493): 0.000249863 (+ 0.0000)
(4000,167): 0.000249863 (+ 0.0000)
(4000,485): 0.000249863 (+ 0.0000)
(4000,484): 0.000249863 (+ 0.0000)
(4000,1053): 0.000249863 (+ 0.0000)
(4000,2742): 0.000249863 (+ 0.0000)
(4000,2743): 0.000249863 (+ 0.0000)
(4000,538): 0.000249863 (+ 0.0000)
(4000,539): 0.000249863 (+ 0.0000)
(4000,982): 0.000249863 (+ 0.0000)
(4000,3852): 0.000249863 (+ 0.0000)
(4000,3853): 0.000249863 (+ 0.0000)
(4000,947): 0.000249863 (+ 0.0000)
(4000,946): 0.000249863 (+ 0.0000)
(4000,604): 0.000249863 (+ 0.0000)
(4000,1653): 0.000249863 (+ 0.0000)
(4000,1652): 0.000249863 (+ 0.0000)
(4000,1039): 0.000249863 (+ 0.0000)
(4000,1038): 0.000249863 (+ 0.0000)
(4000,769): 0.000249863 (+ 0.0000)
(4000,2677): 0.000249863 (+ 0.0000)
(4000,1270): 0.000249863 (+ 0.0000)
(4000,1271): 0.000249863 (+ 0.0000)
(4000,3820): 0.000249863 (+ 0.0000)
(4000,3015): 0.000249863 (+ 0.0000)
(4000,3014): 0.000249863 (+ 0.0000)
(4000,3708): 0.000249863 (+ 0.0000)
(4000,3709): 0.000249863 (+ 0.0000)
(4000,3127): 0.000249863 (+ 0.0000)
(4000,3805): 0.000249863 (+ 0.0000)
(4000,3804): 0.000249863 (+ 0.0000)
(4000,2547): 0.000249863 (+ 0.0000)
(4000,1464): 0.000249863 (+ 0.0000)
(4000,1465): 0.000249863 (+ 0.0000)
(4000,3111): 0.000249863 (+ 0.0000)
(4000,761): 0.000249863 (+ 0.0000)
(4000,760): 0.000249863 (+ 0.0000)
(4000,1132): 0.000249863 (+ 0.0000)
(4000,3857): 0.000249863 (+ 0.0000)
(4000,328): 0.000249863 (+ 0.0000)
(4000,890): 0.000249863 (+ 0.0000)
(4000,891): 0.000249863 (+ 0.0000)
(4000,3604): 0.000249863 (+ 0.0000)
(4000,1981): 0.000249863 (+ 0.0000)
(4000,1980): 0.000249863 (+ 0.0000)
(4000,2907): 0.000249863 (+ 0.0000)
(4000,1575): 0.000249863 (+ 0.0000)
(4000,3117): 0.000249863 (+ 0.0000)
(4000,3116): 0.000249863 (+ 0.0000)
(4000,1395): 0.000249863 (+ 0.0000)
(4000,1905): 0.000249863 (+ 0.0000)
(4000,2505): 0.000249863 (+ 0.0000)
(4000,2504): 0.000249863 (+ 0.0000)
(4000,1797): 0.000249863 (+ 0.0000)
(4000,1796): 0.000249863 (+ 0.0000)
(4000,2288): 0.000249863 (+ 0.0000)
(4000,320): 0.000249863 (+ 0.0000)
(4000,321): 0.000249863 (+ 0.0000)
(4000,864): 0.000249863 (+ 0.0000)
(4000,865): 0.000249863 (+ 0.0000)
(4000,318): 0.000249863 (+ 0.0000)
(4000,319): 0.000249863 (+ 0.0000)
(4000,2754): 0.000249863 (+ 0.0000)
(4000,3783): 0.000249863 (+ 0.0000)
(4000,3782): 0.000249863 (+ 0.0000)
(4000,3600): 0.000249863 (+ 0.0000)
(4000,3601): 0.000249863 (+ 0.0000)
(4000,428): 0.000249863 (+ 0.0000)
(4000,307): 0.000249863 (+ 0.0000)
(4000,306): 0.000249863 (+ 0.0000)
(4000,1882): 0.000249863 (+ 0.0000)
(4000,1883): 0.000249863 (+ 0.0000)
(4000,869): 0.000249863 (+ 0.0000)
(4000,868): 0.000249863 (+ 0.0000)
(4000,543): 0.000249863 (+ 0.0000)
(4000,542): 0.000249863 (+ 0.0000)
(4000,1435): 0.000249863 (+ 0.0000)
(4000,1434): 0.000249863 (+ 0.0000)
(4000,1834): 0.000249863 (+ 0.0000)
(4000,1835): 0.000249863 (+ 0.0000)
(4000,226): 0.000249863 (+ 0.0000)
(4000,227): 0.000249863 (+ 0.0000)
(4000,2186): 0.000249863 (+ 0.0000)
(4000,2187): 0.000249863 (+ 0.0000)
(4000,3985): 0.000249863 (+ 0.0000)
(4000,3060): 0.000249863 (+ 0.0000)
(4000,3061): 0.000249863 (+ 0.0000)
(4000,3414): 0.000249863 (+ 0.0000)
(4000,3415): 0.000249863 (+ 0.0000)
(4000,1734): 0.000249863 (+ 0.0000)
(4000,3027): 0.000249863 (+ 0.0000)
(4000,2033): 0.000249863 (+ 0.0000)
(4000,1874): 0.000249863 (+ 0.0000)
(4000,1875): 0.000249863 (+ 0.0000)
(4000,732): 0.000249863 (+ 0.0000)
(4000,733): 0.000249863 (+ 0.0000)
(4000,117): 0.000249863 (+ 0.0000)
(4000,725): 0.000249863 (+ 0.0000)
(4000,570): 0.000249863 (+ 0.0000)
(4000,571): 0.000249863 (+ 0.0000)
(4000,179): 0.000249863 (+ 0.0000)
(4000,962): 0.000249863 (+ 0.0000)
(4000,399): 0.000249863 (+ 0.0000)
(4000,1564): 0.000249863 (+ 0.0000)
(4000,3507): 0.000249863 (+ 0.0000)
(4000,2692): 0.000249863 (+ 0.0000)
(4000,2693): 0.000249863 (+ 0.0000)
(4000,285): 0.000249863 (+ 0.0000)
(4000,940): 0.000249863 (+ 0.0000)
(4000,3484): 0.000249863 (+ 0.0000)
(4000,3485): 0.000249863 (+ 0.0000)
(4000,2086): 0.000249863 (+ 0.0000)
(4000,2087): 0.000249863 (+ 0.0000)
(4000,1330): 0.000249863 (+ 0.0000)
(4000,1331): 0.000249863 (+ 0.0000)
(4000,2212): 0.000249863 (+ 0.0000)
(4000,2213): 0.000249863 (+ 0.0000)
(4000,1462): 0.000249863 (+ 0.0000)
(4000,1463): 0.000249863 (+ 0.0000)
(4000,1042): 0.000249863 (+ 0.0000)
(4000,1043): 0.000249863 (+ 0.0000)
(4000,3770): 0.000249863 (+ 0.0000)
(4000,3771): 0.000249863 (+ 0.0000)
(4000,2663): 0.000249863 (+ 0.0000)
(4000,1593): 0.000249863 (+ 0.0000)
(4000,2154): 0.000249863 (+ 0.0000)
(4000,2155): 0.000249863 (+ 0.0000)
(4000,909): 0.000249863 (+ 0.0000)
(4000,2852): 0.000249863 (+ 0.0000)
(4000,2853): 0.000249863 (+ 0.0000)
(4000,3403): 0.000249863 (+ 0.0000)
(4000,3402): 0.000249863 (+ 0.0000)
(4000,2306): 0.000249863 (+ 0.0000)
(4000,2307): 0.000249863 (+ 0.0000)
(4000,1913): 0.000249863 (+ 0.0000)
(4000,1912): 0.000249863 (+ 0.0000)
(4000,3949): 0.000249863 (+ 0.0000)
(4000,3948): 0.000249863 (+ 0.0000)
(4000,1512): 0.000249863 (+ 0.0000)
(4000,1513): 0.000249863 (+ 0.0000)
(4000,2493): 0.000249863 (+ 0.0000)
(4000,2492): 0.000249863 (+ 0.0000)
(4000,3267): 0.000249863 (+ 0.0000)
(4000,3266): 0.000249863 (+ 0.0000)
(4000,121): 0.000249863 (+ 0.0000)
(4000,120): 0.000249863 (+ 0.0000)
(4000,177): 0.000249863 (+ 0.0000)
(4000,396): 0.000249863 (+ 0.0000)
(4000,397): 0.000249863 (+ 0.0000)
(4000,427): 0.000249863 (+ 0.0000)
(4000,426): 0.000249863 (+ 0.0000)
(4000,3968): 0.000249863 (+ 0.0000)
(4000,3969): 0.000249863 (+ 0.0000)
(4000,2682): 0.000249863 (+ 0.0000)
(4000,2683): 0.000249863 (+ 0.0000)
(4000,3227): 0.000249863 (+ 0.0000)
(4000,3226): 0.000249863 (+ 0.0000)
(4000,1089): 0.000249863 (+ 0.0000)
(4000,1088): 0.000249863 (+ 0.0000)
(4000,3290): 0.000249863 (+ 0.0000)
(4000,3291): 0.000249863 (+ 0.0000)
(4000,3282): 0.000249863 (+ 0.0000)
(4000,3189): 0.000249863 (+ 0.0000)
(4000,889): 0.000249863 (+ 0.0000)
(4000,888): 0.000249863 (+ 0.0000)
(4000,2247): 0.000249863 (+ 0.0000)
(4000,2445): 0.000249863 (+ 0.0000)
(4000,915): 0.000249863 (+ 0.0000)
(4000,914): 0.000249863 (+ 0.0000)
(4000,591): 0.000249863 (+ 0.0000)
(4000,3626): 0.000249863 (+ 0.0000)
(4000,3627): 0.000249863 (+ 0.0000)
(4000,569): 0.000249863 (+ 0.0000)
(4000,568): 0.000249863 (+ 0.0000)
(4000,2697): 0.000249863 (+ 0.0000)
(4000,2696): 0.000249863 (+ 0.0000)
(4000,740): 0.000249863 (+ 0.0000)
(4000,741): 0.000249863 (+ 0.0000)
(4000,2597): 0.000249863 (+ 0.0000)
(4000,2596): 0.000249863 (+ 0.0000)
(4000,882): 0.000249863 (+ 0.0000)
(4000,883): 0.000249863 (+ 0.0000)
(4000,1046): 0.000249863 (+ 0.0000)
(4000,987): 0.000249863 (+ 0.0000)
(4000,986): 0.000249863 (+ 0.0000)
(4000,2028): 0.000249863 (+ 0.0000)
(4000,1566): 0.000249863 (+ 0.0000)
(4000,3589): 0.000249863 (+ 0.0000)
(4000,3588): 0.000249863 (+ 0.0000)
(4000,1530): 0.000249863 (+ 0.0000)
(4000,1184): 0.000249863 (+ 0.0000)
(4000,1185): 0.000249863 (+ 0.0000)
(4000,1325): 0.000249863 (+ 0.0000)
(4000,1324): 0.000249863 (+ 0.0000)
(4000,536): 0.000249863 (+ 0.0000)
(4000,3138): 0.000249863 (+ 0.0000)
(4000,3139): 0.000249863 (+ 0.0000)
(4000,3897): 0.000249863 (+ 0.0000)
(4000,559): 0.000249863 (+ 0.0000)
(4000,558): 0.000249863 (+ 0.0000)
(4000,595): 0.000249863 (+ 0.0000)
(4000,594): 0.000249863 (+ 0.0000)
(4000,3550): 0.000249863 (+ 0.0000)
(4000,3551): 0.000249863 (+ 0.0000)
(4000,2057): 0.000249863 (+ 0.0000)
(4000,2056): 0.000249863 (+ 0.0000)
(4000,1254): 0.000249863 (+ 0.0000)
(4000,1255): 0.000249863 (+ 0.0000)
(4000,3918): 0.000249863 (+ 0.0000)
(4000,3919): 0.000249863 (+ 0.0000)
(4000,1370): 0.000249863 (+ 0.0000)
(4000,1371): 0.000249863 (+ 0.0000)
(4000,2042): 0.000249863 (+ 0.0000)
(4000,2043): 0.000249863 (+ 0.0000)
(4000,107): 0.000249863 (+ 0.0000)
(4000,106): 0.000249863 (+ 0.0000)
(4000,2061): 0.000249863 (+ 0.0000)
(4000,3859): 0.000249863 (+ 0.0000)
(4000,352): 0.000249863 (+ 0.0000)
(4000,353): 0.000249863 (+ 0.0000)
(4000,469): 0.000249863 (+ 0.0000)
(4000,468): 0.000249863 (+ 0.0000)
(4000,1155): 0.000249863 (+ 0.0000)
(4000,1154): 0.000249863 (+ 0.0000)
(4000,3828): 0.000249863 (+ 0.0000)
(4000,3829): 0.000249863 (+ 0.0000)
(4000,491): 0.000249863 (+ 0.0000)
(4000,490): 0.000249863 (+ 0.0000)
(4000,1149): 0.000249863 (+ 0.0000)
(4000,1148): 0.000249863 (+ 0.0000)
(4000,1963): 0.000249863 (+ 0.0000)
(4000,1962): 0.000249863 (+ 0.0000)
(4000,2608): 0.000249863 (+ 0.0000)
(4000,2609): 0.000249863 (+ 0.0000)
(4000,67): 0.000249863 (+ 0.0000)
(4000,1404): 0.000249863 (+ 0.0000)
(4000,1405): 0.000249863 (+ 0.0000)
(4000,929): 0.000249863 (+ 0.0000)
(4000,928): 0.000249863 (+ 0.0000)
(4000,1209): 0.000249863 (+ 0.0000)
(4000,1208): 0.000249863 (+ 0.0000)
(4000,1638): 0.000249863 (+ 0.0000)
(4000,1639): 0.000249863 (+ 0.0000)
(4000,3514): 0.000249863 (+ 0.0000)
(4000,1952): 0.000249863 (+ 0.0000)
(4000,1083): 0.000249863 (+ 0.0000)
(4000,1082): 0.000249863 (+ 0.0000)
(4000,1656): 0.000249863 (+ 0.0000)
(4000,1657): 0.000249863 (+ 0.0000)
(4000,1249): 0.000249863 (+ 0.0000)
(4000,1248): 0.000249863 (+ 0.0000)
(4000,1204): 0.000249863 (+ 0.0000)
(4000,1205): 0.000249863 (+ 0.0000)
(4000,60): 0.000249863 (+ 0.0000)
(4000,61): 0.000249863 (+ 0.0000)
(4000,2253): 0.000249863 (+ 0.0000)
(4000,3996): 0.000249863 (+ 0.0000)
(4000,3997): 0.000249863 (+ 0.0000)
(4000,1178): 0.000249863 (+ 0.0000)
(4000,1179): 0.000249863 (+ 0.0000)
(4000,1338): 0.000249863 (+ 0.0000)
(4000,3648): 0.000249863 (+ 0.0000)
(4000,3419): 0.000249863 (+ 0.0000)
(4000,3418): 0.000249863 (+ 0.0000)
(4000,2047): 0.000249863 (+ 0.0000)
(4000,2046): 0.000249863 (+ 0.0000)
(4000,1571): 0.000249863 (+ 0.0000)
(4000,603): 0.000249863 (+ 0.0000)
(4000,602): 0.000249863 (+ 0.0000)
(4000,1192): 0.000249863 (+ 0.0000)
(4000,1193): 0.000249863 (+ 0.0000)
(4000,903): 0.000249863 (+ 0.0000)
(4000,2270): 0.000249863 (+ 0.0000)
(4000,2271): 0.000249863 (+ 0.0000)
(4000,3217): 0.000249863 (+ 0.0000)
(4000,803): 0.000249863 (+ 0.0000)
(4000,802): 0.000249863 (+ 0.0000)
(4000,2113): 0.000249863 (+ 0.0000)
(4000,1893): 0.000249863 (+ 0.0000)
(4000,1414): 0.000249863 (+ 0.0000)
(4000,1415): 0.000249863 (+ 0.0000)
(4000,84): 0.000249863 (+ 0.0000)
(4000,85): 0.000249863 (+ 0.0000)
(4000,3631): 0.000249863 (+ 0.0000)
(4000,3630): 0.000249863 (+ 0.0000)
(4000,3547): 0.000249863 (+ 0.0000)
(4000,823): 0.000249863 (+ 0.0000)
(4000,470): 0.000249863 (+ 0.0000)
(4000,471): 0.000249863 (+ 0.0000)
(4000,1810): 0.000249863 (+ 0.0000)
(4000,1811): 0.000249863 (+ 0.0000)
(4000,1391): 0.000249863 (+ 0.0000)
(4000,1390): 0.000249863 (+ 0.0000)
(4000,1805): 0.000249863 (+ 0.0000)
(4000,1804): 0.000249863 (+ 0.0000)
(4000,664): 0.000249863 (+ 0.0000)
(4000,665): 0.000249863 (+ 0.0000)
(4000,2430): 0.000249863 (+ 0.0000)
(4000,2431): 0.000249863 (+ 0.0000)
(4000,2474): 0.000249863 (+ 0.0000)
(4000,2475): 0.000249863 (+ 0.0000)
(4000,1265): 0.000249863 (+ 0.0000)
(4000,3613): 0.000249863 (+ 0.0000)
(4000,3612): 0.000249863 (+ 0.0000)
(4000,2709): 0.000249863 (+ 0.0000)
(4000,748): 0.000249863 (+ 0.0000)
(4000,749): 0.000249863 (+ 0.0000)
(4000,764): 0.000249863 (+ 0.0000)
(4000,765): 0.000249863 (+ 0.0000)
(4000,3497): 0.000249863 (+ 0.0000)
(4000,3496): 0.000249863 (+ 0.0000)
(4000,199): 0.000249863 (+ 0.0000)
(4000,2296): 0.000249863 (+ 0.0000)
(4000,2297): 0.000249863 (+ 0.0000)
(4000,2658): 0.000249863 (+ 0.0000)
(4000,2659): 0.000249863 (+ 0.0000)
(4000,3461): 0.000249863 (+ 0.0000)
(4000,3460): 0.000249863 (+ 0.0000)
(4000,3287): 0.000249863 (+ 0.0000)
(4000,3286): 0.000249863 (+ 0.0000)
(4000,1177): 0.000249863 (+ 0.0000)
(4000,3874): 0.000249863 (+ 0.0000)
(4000,3052): 0.000249863 (+ 0.0000)
(4000,2322): 0.000249863 (+ 0.0000)
(4000,2323): 0.000249863 (+ 0.0000)
(4000,2338): 0.000249863 (+ 0.0000)
(4000,2339): 0.000249863 (+ 0.0000)
(4000,1044): 0.000249863 (+ 0.0000)
(4000,1045): 0.000249863 (+ 0.0000)
(4000,2385): 0.000249863 (+ 0.0000)
(4000,3930): 0.000249863 (+ 0.0000)
(4000,2595): 0.000249863 (+ 0.0000)
(4000,2594): 0.000249863 (+ 0.0000)
(4000,2571): 0.000249863 (+ 0.0000)
(4000,2570): 0.000249863 (+ 0.0000)
(4000,1362): 0.000249863 (+ 0.0000)
(4000,1855): 0.000249863 (+ 0.0000)
(4000,1854): 0.000249863 (+ 0.0000)
(4000,2123): 0.000249863 (+ 0.0000)
(4000,3180): 0.000249863 (+ 0.0000)
(4000,3181): 0.000249863 (+ 0.0000)
(4000,2243): 0.000249863 (+ 0.0000)
(4000,2242): 0.000249863 (+ 0.0000)
(4000,37): 0.000249863 (+ 0.0000)
(4000,3694): 0.000249863 (+ 0.0000)
(4000,3695): 0.000249863 (+ 0.0000)
(4000,1129): 0.000249863 (+ 0.0000)
(4000,1637): 0.000249863 (+ 0.0000)
(4000,1666): 0.000249863 (+ 0.0000)
(4000,1667): 0.000249863 (+ 0.0000)
(4000,1579): 0.000249863 (+ 0.0000)
(4000,1873): 0.000249863 (+ 0.0000)
(4000,1872): 0.000249863 (+ 0.0000)
(4000,444): 0.000249863 (+ 0.0000)
(4000,445): 0.000249863 (+ 0.0000)
(4000,2637): 0.000249863 (+ 0.0000)
(4000,2636): 0.000249863 (+ 0.0000)
(4000,385): 0.000249863 (+ 0.0000)
(4000,3656): 0.000249863 (+ 0.0000)
(4000,3036): 0.000249863 (+ 0.0000)
(4000,3037): 0.000249863 (+ 0.0000)
(4000,3450): 0.000249863 (+ 0.0000)
(4000,3451): 0.000249863 (+ 0.0000)
(4000,649): 0.000249863 (+ 0.0000)
(4000,3198): 0.000249863 (+ 0.0000)
(4000,3199): 0.000249863 (+ 0.0000)
(4000,2765): 0.000249863 (+ 0.0000)
(4000,2764): 0.000249863 (+ 0.0000)
(4000,925): 0.000249863 (+ 0.0000)
(4000,1406): 0.000249863 (+ 0.0000)
(4000,1724): 0.000249863 (+ 0.0000)
(4000,1725): 0.000249863 (+ 0.0000)
(4000,1483): 0.000249863 (+ 0.0000)
(4000,1482): 0.000249863 (+ 0.0000)
(4000,3183): 0.000249863 (+ 0.0000)
(4000,3182): 0.000249863 (+ 0.0000)
(4000,351): 0.000249863 (+ 0.0000)
(4000,350): 0.000249863 (+ 0.0000)
(4000,47): 0.000249863 (+ 0.0000)
(4000,3653): 0.000249863 (+ 0.0000)
(4000,2870): 0.000249863 (+ 0.0000)
(4000,964): 0.000249863 (+ 0.0000)
(4000,3125): 0.000249863 (+ 0.0000)
(4000,3124): 0.000249863 (+ 0.0000)
(4000,1795): 0.000249863 (+ 0.0000)
(4000,3065): 0.000249863 (+ 0.0000)
(4000,3064): 0.000249863 (+ 0.0000)
(4000,3504): 0.000249863 (+ 0.0000)
(4000,658): 0.000249863 (+ 0.0000)
(4000,2068): 0.000249863 (+ 0.0000)
(4000,2044): 0.000249863 (+ 0.0000)
(4000,2045): 0.000249863 (+ 0.0000)
(4000,3899): 0.000249863 (+ 0.0000)
(4000,3898): 0.000249863 (+ 0.0000)
(4000,1259): 0.000249863 (+ 0.0000)
(4000,1258): 0.000249863 (+ 0.0000)
(4000,3988): 0.000249863 (+ 0.0000)
(4000,3989): 0.000249863 (+ 0.0000)
(4000,2666): 0.000249863 (+ 0.0000)
(4000,2667): 0.000249863 (+ 0.0000)
(4000,3889): 0.000249863 (+ 0.0000)
(4000,3888): 0.000249863 (+ 0.0000)
(4000,409): 0.000249863 (+ 0.0000)
(4000,408): 0.000249863 (+ 0.0000)
(4000,3175): 0.000249863 (+ 0.0000)
(4000,1787): 0.000249863 (+ 0.0000)
(4000,1786): 0.000249863 (+ 0.0000)
(4000,703): 0.000249863 (+ 0.0000)
(4000,702): 0.000249863 (+ 0.0000)
(4000,2508): 0.000249863 (+ 0.0000)
(4000,2194): 0.000249863 (+ 0.0000)
(4000,2195): 0.000249863 (+ 0.0000)
(4000,1167): 0.000249863 (+ 0.0000)
(4000,1166): 0.000249863 (+ 0.0000)
(4000,2178): 0.000249863 (+ 0.0000)
(4000,2179): 0.000249863 (+ 0.0000)
(4000,174): 0.000249863 (+ 0.0000)
(4000,175): 0.000249863 (+ 0.0000)
(4000,1632): 0.000249863 (+ 0.0000)
(4000,1633): 0.000249863 (+ 0.0000)
(4000,3936): 0.000249863 (+ 0.0000)
(4000,3986): 0.000249863 (+ 0.0000)
(4000,3987): 0.000249863 (+ 0.0000)
(4000,3623): 0.000249863 (+ 0.0000)
(4000,3622): 0.000249863 (+ 0.0000)
(4000,2956): 0.000249863 (+ 0.0000)
(4000,1910): 0.000249863 (+ 0.0000)
(4000,1911): 0.000249863 (+ 0.0000)
(4000,855): 0.000249863 (+ 0.0000)
(4000,3870): 0.000249863 (+ 0.0000)
(4000,2034): 0.000249863 (+ 0.0000)
(4000,2035): 0.000249863 (+ 0.0000)
(4000,3122): 0.000249863 (+ 0.0000)
(4000,3123): 0.000249863 (+ 0.0000)
(4000,2634): 0.000249863 (+ 0.0000)
(4000,2635): 0.000249863 (+ 0.0000)
(4000,2294): 0.000249863 (+ 0.0000)
(4000,2295): 0.000249863 (+ 0.0000)
(4000,456): 0.000249863 (+ 0.0000)
(4000,3747): 0.000249863 (+ 0.0000)
(4000,3746): 0.000249863 (+ 0.0000)
(4000,197): 0.000249863 (+ 0.0000)
(4000,196): 0.000249863 (+ 0.0000)
(4000,1994): 0.000249863 (+ 0.0000)
(4000,2584): 0.000249863 (+ 0.0000)
(4000,2585): 0.000249863 (+ 0.0000)
(4000,2784): 0.000249863 (+ 0.0000)
(4000,3587): 0.000249863 (+ 0.0000)
(4000,3586): 0.000249863 (+ 0.0000)
(4000,3999): 0.000249863 (+ 0.0000)
(4000,3998): 0.000249863 (+ 0.0000)
(4000,1807): 0.000249863 (+ 0.0000)
(4000,1120): 0.000249863 (+ 0.0000)
(4000,1121): 0.000249863 (+ 0.0000)
(4000,2545): 0.000249863 (+ 0.0000)
(4000,2544): 0.000249863 (+ 0.0000)
(4000,1126): 0.000249863 (+ 0.0000)
(4000,2118): 0.000249863 (+ 0.0000)
(4000,2119): 0.000249863 (+ 0.0000)
(4000,727): 0.000249863 (+ 0.0000)
(4000,726): 0.000249863 (+ 0.0000)
(4000,2610): 0.000249863 (+ 0.0000)
(4000,2808): 0.000249863 (+ 0.0000)
(4000,2809): 0.000249863 (+ 0.0000)
(4000,1544): 0.000249863 (+ 0.0000)
(4000,3582): 0.000249863 (+ 0.0000)
(4000,3583): 0.000249863 (+ 0.0000)
(4000,1888): 0.000249863 (+ 0.0000)
(4000,3776): 0.000249863 (+ 0.0000)
(4000,38): 0.000249863 (+ 0.0000)
(4000,3353): 0.000249863 (+ 0.0000)
(4000,3352): 0.000249863 (+ 0.0000)
(4000,1151): 0.000249863 (+ 0.0000)
(4000,3794): 0.000249863 (+ 0.0000)
(4000,3795): 0.000249863 (+ 0.0000)
(4000,1436): 0.000249863 (+ 0.0000)
(4000,1437): 0.000249863 (+ 0.0000)
(4000,1422): 0.000249863 (+ 0.0000)
(4000,1423): 0.000249863 (+ 0.0000)
(4000,493): 0.000249863 (+ 0.0000)
(4000,492): 0.000249863 (+ 0.0000)
(4000,1217): 0.000249863 (+ 0.0000)
(4000,1216): 0.000249863 (+ 0.0000)
(4000,2310): 0.000249863 (+ 0.0000)
(4000,1210): 0.000249863 (+ 0.0000)
(4000,1640): 0.000249863 (+ 0.0000)
(4000,1641): 0.000249863 (+ 0.0000)
(4000,44): 0.000249863 (+ 0.0000)
(4000,1007): 0.000249863 (+ 0.0000)
(4000,1006): 0.000249863 (+ 0.0000)
(4000,994): 0.000249863 (+ 0.0000)
(4000,995): 0.000249863 (+ 0.0000)
(4000,2577): 0.000249863 (+ 0.0000)
(4000,2576): 0.000249863 (+ 0.0000)
(4000,3830): 0.000249863 (+ 0.0000)
(4000,821): 0.000249863 (+ 0.0000)
(4000,820): 0.000249863 (+ 0.0000)
(4000,1134): 0.000249863 (+ 0.0000)
(4000,3784): 0.000249863 (+ 0.0000)
(4000,3785): 0.000249863 (+ 0.0000)
(4000,1813): 0.000249863 (+ 0.0000)
(4000,1812): 0.000249863 (+ 0.0000)
(4000,2105): 0.000249863 (+ 0.0000)
(4000,3330): 0.000249863 (+ 0.0000)
(4000,1451): 0.000249863 (+ 0.0000)
(4000,1450): 0.000249863 (+ 0.0000)
(4000,3740): 0.000249863 (+ 0.0000)
(4000,1748): 0.000249863 (+ 0.0000)
(4000,1749): 0.000249863 (+ 0.0000)
(4000,2650): 0.000249863 (+ 0.0000)
(4000,3640): 0.000249863 (+ 0.0000)
(4000,3962): 0.000249863 (+ 0.0000)
(4000,3963): 0.000249863 (+ 0.0000)
(4000,2723): 0.000249863 (+ 0.0000)
(4000,2722): 0.000249863 (+ 0.0000)
(4000,3617): 0.000249863 (+ 0.0000)
(4000,1315): 0.000249863 (+ 0.0000)
(4000,1314): 0.000249863 (+ 0.0000)
(4000,1063): 0.000249863 (+ 0.0000)
(4000,1144): 0.000249863 (+ 0.0000)
(4000,662): 0.000249863 (+ 0.0000)
(4000,663): 0.000249863 (+ 0.0000)
(4000,48): 0.000249863 (+ 0.0000)
(4000,2567): 0.000249863 (+ 0.0000)
(4000,3417): 0.000249863 (+ 0.0000)
(4000,2558): 0.000249863 (+ 0.0000)
(4000,2559): 0.000249863 (+ 0.0000)
(4000,1617): 0.000249863 (+ 0.0000)
(4000,2133): 0.000249863 (+ 0.0000)
(4000,2132): 0.000249863 (+ 0.0000)
(4000,472): 0.000249863 (+ 0.0000)
(4000,473): 0.000249863 (+ 0.0000)
(4000,2013): 0.000249863 (+ 0.0000)
(4000,2012): 0.000249863 (+ 0.0000)
(4000,1454): 0.000249863 (+ 0.0000)
(4000,1455): 0.000249863 (+ 0.0000)
(4000,2603): 0.000249863 (+ 0.0000)
(4000,2900): 0.000249863 (+ 0.0000)
(4000,2901): 0.000249863 (+ 0.0000)
(4000,2313): 0.000249863 (+ 0.0000)
(4000,1228): 0.000249863 (+ 0.0000)
(4000,758): 0.000249863 (+ 0.0000)
(4000,1519): 0.000249863 (+ 0.0000)
(4000,831): 0.000249863 (+ 0.0000)
(4000,830): 0.000249863 (+ 0.0000)
(4000,1236): 0.000249863 (+ 0.0000)
(4000,1237): 0.000249863 (+ 0.0000)
(4000,3521): 0.000249863 (+ 0.0000)
(4000,3520): 0.000249863 (+ 0.0000)
(4000,3983): 0.000249863 (+ 0.0000)
(4000,3982): 0.000249863 (+ 0.0000)
(4000,210): 0.000249863 (+ 0.0000)
(4000,211): 0.000249863 (+ 0.0000)
(4000,275): 0.000249863 (+ 0.0000)
(4000,274): 0.000249863 (+ 0.0000)
(4000,2041): 0.000249863 (+ 0.0000)
(4000,2040): 0.000249863 (+ 0.0000)
(4000,410): 0.000249863 (+ 0.0000)
(4000,411): 0.000249863 (+ 0.0000)
(4000,1456): 0.000249863 (+ 0.0000)
(4000,1457): 0.000249863 (+ 0.0000)
(4000,2363): 0.000249863 (+ 0.0000)
(4000,3101): 0.000249863 (+ 0.0000)
(4000,3100): 0.000249863 (+ 0.0000)
(4000,552): 0.000249863 (+ 0.0000)
(4000,3369): 0.000249863 (+ 0.0000)
(4000,3368): 0.000249863 (+ 0.0000)
(4000,2719): 0.000249863 (+ 0.0000)
(4000,1975): 0.000249863 (+ 0.0000)
(4000,1974): 0.000249863 (+ 0.0000)
(4000,2984): 0.000249863 (+ 0.0000)
(4000,2985): 0.000249863 (+ 0.0000)
(4000,1487): 0.000249863 (+ 0.0000)
(4000,1486): 0.000249863 (+ 0.0000)
(4000,2983): 0.000249863 (+ 0.0000)
(4000,2982): 0.000249863 (+ 0.0000)
(4000,315): 0.000249863 (+ 0.0000)
(4000,1115): 0.000249863 (+ 0.0000)
(4000,839): 0.000249863 (+ 0.0000)
(4000,838): 0.000249863 (+ 0.0000)
(4000,1842): 0.000249863 (+ 0.0000)
(4000,2970): 0.000249863 (+ 0.0000)
(4000,1711): 0.000249863 (+ 0.0000)
(4000,1710): 0.000249863 (+ 0.0000)
(4000,451): 0.000249863 (+ 0.0000)
(4000,450): 0.000249863 (+ 0.0000)
(4000,3683): 0.000249863 (+ 0.0000)
(4000,3307): 0.000249863 (+ 0.0000)
(4000,2008): 0.000249863 (+ 0.0000)
(4000,2009): 0.000249863 (+ 0.0000)
(4000,1357): 0.000249863 (+ 0.0000)
(4000,1356): 0.000249863 (+ 0.0000)
(4000,689): 0.000249863 (+ 0.0000)
(4000,258): 0.000249863 (+ 0.0000)
(4000,259): 0.000249863 (+ 0.0000)
(4000,2131): 0.000249863 (+ 0.0000)
(4000,2130): 0.000249863 (+ 0.0000)
(4000,2276): 0.000249863 (+ 0.0000)
(4000,3766): 0.000249863 (+ 0.0000)
(4000,2981): 0.000249863 (+ 0.0000)
(4000,2980): 0.000249863 (+ 0.0000)
(4000,3406): 0.000249863 (+ 0.0000)
(4000,3407): 0.000249863 (+ 0.0000)
(4000,840): 0.000249863 (+ 0.0000)
(4000,841): 0.000249863 (+ 0.0000)
(4000,3994): 0.000249863 (+ 0.0000)
(4000,3995): 0.000249863 (+ 0.0000)
(4000,897): 0.000249863 (+ 0.0000)
(4000,896): 0.000249863 (+ 0.0000)
(4000,2236): 0.000249863 (+ 0.0000)
(4000,2185): 0.000249863 (+ 0.0000)
(4000,3): 0.000249863 (+ 0.0000)
(4000,2): 0.000249863 (+ 0.0000)
(4000,187): 0.000249863 (+ 0.0000)
(4000,1587): 0.000249863 (+ 0.0000)
(4000,1586): 0.000249863 (+ 0.0000)
(4000,1260): 0.000249863 (+ 0.0000)
(4000,1261): 0.000249863 (+ 0.0000)
(4000,3136): 0.000249863 (+ 0.0000)
(4000,2320): 0.000249863 (+ 0.0000)
(4000,2321): 0.000249863 (+ 0.0000)
(4000,3466): 0.000249863 (+ 0.0000)
(4000,3467): 0.000249863 (+ 0.0000)
(4000,367): 0.000249863 (+ 0.0000)
(4000,366): 0.000249863 (+ 0.0000)
(4000,1621): 0.000249863 (+ 0.0000)
(4000,640): 0.000249863 (+ 0.0000)
(4000,498): 0.000249863 (+ 0.0000)
(4000,3529): 0.000249863 (+ 0.0000)
(4000,3528): 0.000249863 (+ 0.0000)
(4000,2300): 0.000249863 (+ 0.0000)
(4000,3209): 0.000249863 (+ 0.0000)
(4000,1823): 0.000249863 (+ 0.0000)
(4000,1822): 0.000249863 (+ 0.0000)
(4000,1751): 0.000249863 (+ 0.0000)
(4000,3154): 0.000249863 (+ 0.0000)
(4000,3155): 0.000249863 (+ 0.0000)
(4000,3957): 0.000249863 (+ 0.0000)
(4000,3956): 0.000249863 (+ 0.0000)
(4000,3689): 0.000249863 (+ 0.0000)
(4000,3688): 0.000249863 (+ 0.0000)
(4000,1058): 0.000249863 (+ 0.0000)
(4000,1059): 0.000249863 (+ 0.0000)
(4000,3233): 0.000249863 (+ 0.0000)
(4000,3232): 0.000249863 (+ 0.0000)
(4000,3340): 0.000249863 (+ 0.0000)
(4000,3341): 0.000249863 (+ 0.0000)
(4000,1091): 0.000249863 (+ 0.0000)
(4000,1090): 0.000249863 (+ 0.0000)
(4000,3204): 0.000249863 (+ 0.0000)
(4000,1041): 0.000249863 (+ 0.0000)
(4000,1040): 0.000249863 (+ 0.0000)
(4000,2737): 0.000249863 (+ 0.0000)
(4000,2736): 0.000249863 (+ 0.0000)
(4000,2479): 0.000249863 (+ 0.0000)
(4000,2478): 0.000249863 (+ 0.0000)
(4000,1453): 0.000249863 (+ 0.0000)
(4000,1452): 0.000249863 (+ 0.0000)
(4000,3375): 0.000249863 (+ 0.0000)
(4000,1485): 0.000249863 (+ 0.0000)
(4000,1484): 0.000249863 (+ 0.0000)
(4000,3882): 0.000249863 (+ 0.0000)
(4000,2159): 0.000249863 (+ 0.0000)
(4000,2158): 0.000249863 (+ 0.0000)
(4000,3876): 0.000249863 (+ 0.0000)
(4000,3877): 0.000249863 (+ 0.0000)
(4000,852): 0.000249863 (+ 0.0000)
(4000,1559): 0.000249863 (+ 0.0000)
(4000,1558): 0.000249863 (+ 0.0000)
(4000,2721): 0.000249863 (+ 0.0000)
(4000,2720): 0.000249863 (+ 0.0000)
(4000,984): 0.000249863 (+ 0.0000)
(4000,985): 0.000249863 (+ 0.0000)
(4000,163): 0.000249863 (+ 0.0000)
(4000,162): 0.000249863 (+ 0.0000)
(4000,1475): 0.000249863 (+ 0.0000)
(4000,2026): 0.000249863 (+ 0.0000)
(4000,2144): 0.000249863 (+ 0.0000)
(4000,3212): 0.000249863 (+ 0.0000)
(4000,3213): 0.000249863 (+ 0.0000)
(4000,165): 0.000249863 (+ 0.0000)
(4000,164): 0.000249863 (+ 0.0000)
(4000,2896): 0.000249863 (+ 0.0000)
(4000,3519): 0.000249863 (+ 0.0000)
(4000,3518): 0.000249863 (+ 0.0000)
(4000,3303): 0.000249863 (+ 0.0000)
(4000,2605): 0.000249863 (+ 0.0000)
(4000,2604): 0.000249863 (+ 0.0000)
(4000,2198): 0.000249863 (+ 0.0000)
(4000,2182): 0.000249863 (+ 0.0000)
(4000,931): 0.000249863 (+ 0.0000)
(4000,930): 0.000249863 (+ 0.0000)
(4000,1816): 0.000249863 (+ 0.0000)
(4000,1817): 0.000249863 (+ 0.0000)
(4000,608): 0.000249863 (+ 0.0000)
(4000,3946): 0.000249863 (+ 0.0000)
(4000,1262): 0.000249863 (+ 0.0000)
(4000,1253): 0.000249863 (+ 0.0000)
(4000,1840): 0.000249863 (+ 0.0000)
(4000,1841): 0.000249863 (+ 0.0000)
(4000,2915): 0.000249863 (+ 0.0000)
(4000,2495): 0.000249863 (+ 0.0000)
(4000,2494): 0.000249863 (+ 0.0000)
(4000,3666): 0.000249863 (+ 0.0000)
(4000,3667): 0.000249863 (+ 0.0000)
(4000,1627): 0.000249863 (+ 0.0000)
(4000,1626): 0.000249863 (+ 0.0000)
(4000,813): 0.000249863 (+ 0.0000)
(4000,812): 0.000249863 (+ 0.0000)
(4000,3062): 0.000249863 (+ 0.0000)
(4000,3063): 0.000249863 (+ 0.0000)
(4000,2781): 0.000249863 (+ 0.0000)
(4000,2780): 0.000249863 (+ 0.0000)
(4000,3925): 0.000249863 (+ 0.0000)
(4000,323): 0.000249863 (+ 0.0000)
(4000,322): 0.000249863 (+ 0.0000)
(4000,3975): 0.000249863 (+ 0.0000)
(4000,3974): 0.000249863 (+ 0.0000)
(4000,2084): 0.000249863 (+ 0.0000)
(4000,1055): 0.000249863 (+ 0.0000)
(4000,1054): 0.000249863 (+ 0.0000)
(4000,1692): 0.000249863 (+ 0.0000)
(4000,1693): 0.000249863 (+ 0.0000)
(4000,3293): 0.000249863 (+ 0.0000)
(4000,3292): 0.000249863 (+ 0.0000)
(4000,10): 0.000249863 (+ 0.0000)
(4000,1251): 0.000249863 (+ 0.0000)
(4000,1250): 0.000249863 (+ 0.0000)
(4000,2580): 0.000249863 (+ 0.0000)
(4000,2581): 0.000249863 (+ 0.0000)
(4000,3410): 0.000249863 (+ 0.0000)
(4000,2454): 0.000249863 (+ 0.0000)
(4000,2455): 0.000249863 (+ 0.0000)
(4000,3059): 0.000249863 (+ 0.0000)
(4000,3058): 0.000249863 (+ 0.0000)
(4000,1068): 0.000249863 (+ 0.0000)
(4000,1069): 0.000249863 (+ 0.0000)
(4000,527): 0.000249863 (+ 0.0000)
(4000,526): 0.000249863 (+ 0.0000)
(4000,3235): 0.000249863 (+ 0.0000)
(4000,3234): 0.000249863 (+ 0.0000)
(4000,3571): 0.000249863 (+ 0.0000)
(4000,1099): 0.000249863 (+ 0.0000)
(4000,2949): 0.000249863 (+ 0.0000)
(4000,2948): 0.000249863 (+ 0.0000)
(4000,402): 0.000249863 (+ 0.0000)
(4000,403): 0.000249863 (+ 0.0000)
(4000,3146): 0.000249863 (+ 0.0000)
(4000,3147): 0.000249863 (+ 0.0000)
(4000,2661): 0.000249863 (+ 0.0000)
(4000,1677): 0.000249863 (+ 0.0000)
(4000,1676): 0.000249863 (+ 0.0000)
(4000,390): 0.000249863 (+ 0.0000)
(4000,1896): 0.000249863 (+ 0.0000)
(4000,2857): 0.000249863 (+ 0.0000)
(4000,2856): 0.000249863 (+ 0.0000)
(4000,90): 0.000249863 (+ 0.0000)
(4000,91): 0.000249863 (+ 0.0000)
(4000,1073): 0.000249863 (+ 0.0000)
(4000,1072): 0.000249863 (+ 0.0000)
(4000,104): 0.000249863 (+ 0.0000)
(4000,3219): 0.000249863 (+ 0.0000)
(4000,3218): 0.000249863 (+ 0.0000)
(4000,3377): 0.000249863 (+ 0.0000)
(4000,3376): 0.000249863 (+ 0.0000)
(4000,459): 0.000249863 (+ 0.0000)
(4000,458): 0.000249863 (+ 0.0000)
(4000,1318): 0.000249863 (+ 0.0000)
(4000,1319): 0.000249863 (+ 0.0000)
(4000,2401): 0.000249863 (+ 0.0000)
(4000,247): 0.000249863 (+ 0.0000)
(4000,418): 0.000249863 (+ 0.0000)
(4000,419): 0.000249863 (+ 0.0000)
(4000,2622): 0.000249863 (+ 0.0000)
(4000,2623): 0.000249863 (+ 0.0000)
(4000,3495): 0.000249863 (+ 0.0000)
(4000,3494): 0.000249863 (+ 0.0000)
(4000,3356): 0.000249863 (+ 0.0000)
(4000,1310): 0.000249863 (+ 0.0000)
(4000,2910): 0.000249863 (+ 0.0000)
(4000,2911): 0.000249863 (+ 0.0000)
(4000,2393): 0.000249863 (+ 0.0000)
(4000,2392): 0.000249863 (+ 0.0000)
(4000,1196): 0.000249863 (+ 0.0000)
(4000,1057): 0.000249863 (+ 0.0000)
(4000,1056): 0.000249863 (+ 0.0000)
(4000,33): 0.000249863 (+ 0.0000)
(4000,2664): 0.000249863 (+ 0.0000)
(4000,2665): 0.000249863 (+ 0.0000)
(4000,2517): 0.000249863 (+ 0.0000)
(4000,1968): 0.000249863 (+ 0.0000)
(4000,1969): 0.000249863 (+ 0.0000)
(4000,1562): 0.000249863 (+ 0.0000)
(4000,1563): 0.000249863 (+ 0.0000)
(4000,3892): 0.000249863 (+ 0.0000)
(4000,2463): 0.000249863 (+ 0.0000)
(4000,2462): 0.000249863 (+ 0.0000)
(4000,74): 0.000249863 (+ 0.0000)
(4000,75): 0.000249863 (+ 0.0000)
(4000,217): 0.000249863 (+ 0.0000)
(4000,1669): 0.000249863 (+ 0.0000)
(4000,1668): 0.000249863 (+ 0.0000)
(4000,1102): 0.000249863 (+ 0.0000)
(4000,1103): 0.000249863 (+ 0.0000)
(4000,1881): 0.000249863 (+ 0.0000)
(4000,1880): 0.000249863 (+ 0.0000)
(4000,887): 0.000249863 (+ 0.0000)
(4000,388): 0.000249863 (+ 0.0000)
(4000,389): 0.000249863 (+ 0.0000)
(4000,2860): 0.000249863 (+ 0.0000)
(4000,2861): 0.000249863 (+ 0.0000)
(4000,362): 0.000249863 (+ 0.0000)
(4000,363): 0.000249863 (+ 0.0000)
(4000,1118): 0.000249863 (+ 0.0000)
(4000,1439): 0.000249863 (+ 0.0000)
(4000,2149): 0.000249863 (+ 0.0000)
(4000,2148): 0.000249863 (+ 0.0000)
(4000,489): 0.000249863 (+ 0.0000)
(4000,1682): 0.000249863 (+ 0.0000)
(4000,1378): 0.000249863 (+ 0.0000)
(4000,1379): 0.000249863 (+ 0.0000)
(4000,1902): 0.000249863 (+ 0.0000)
(4000,1903): 0.000249863 (+ 0.0000)
(4000,3644): 0.000249863 (+ 0.0000)
(4000,3645): 0.000249863 (+ 0.0000)
(4000,336): 0.000249863 (+ 0.0000)
(4000,337): 0.000249863 (+ 0.0000)
(4000,669): 0.000249863 (+ 0.0000)
(4000,668): 0.000249863 (+ 0.0000)
(4000,3309): 0.000249863 (+ 0.0000)
(4000,3705): 0.000249863 (+ 0.0000)
(4000,3704): 0.000249863 (+ 0.0000)
(4000,3020): 0.000249863 (+ 0.0000)
(4000,2146): 0.000249863 (+ 0.0000)
(4000,2147): 0.000249863 (+ 0.0000)
(4000,1590): 0.000249863 (+ 0.0000)
(4000,1591): 0.000249863 (+ 0.0000)
(4000,2125): 0.000249863 (+ 0.0000)
(4000,976): 0.000249863 (+ 0.0000)
(4000,791): 0.000249863 (+ 0.0000)
(4000,480): 0.000249863 (+ 0.0000)
(4000,481): 0.000249863 (+ 0.0000)
(4000,1622): 0.000249863 (+ 0.0000)
(4000,1623): 0.000249863 (+ 0.0000)
(4000,2707): 0.000249863 (+ 0.0000)
(4000,2706): 0.000249863 (+ 0.0000)
(4000,1328): 0.000249863 (+ 0.0000)
(4000,1329): 0.000249863 (+ 0.0000)
(4000,2797): 0.000249863 (+ 0.0000)
(4000,2796): 0.000249863 (+ 0.0000)
(4000,2905): 0.000249863 (+ 0.0000)
(4000,2904): 0.000249863 (+ 0.0000)
(4000,1643): 0.000249863 (+ 0.0000)
(4000,713): 0.000249863 (+ 0.0000)
(4000,2216): 0.000249863 (+ 0.0000)
(4000,3248): 0.000249863 (+ 0.0000)
(4000,3249): 0.000249863 (+ 0.0000)
(4000,1705): 0.000249863 (+ 0.0000)
(4000,1704): 0.000249863 (+ 0.0000)
(4000,3424): 0.000249863 (+ 0.0000)
(4000,3425): 0.000249863 (+ 0.0000)
(4000,1232): 0.000249863 (+ 0.0000)
(4000,1918): 0.000249863 (+ 0.0000)
(4000,1919): 0.000249863 (+ 0.0000)
(4000,1708): 0.000249863 (+ 0.0000)
(4000,1709): 0.000249863 (+ 0.0000)
(4000,598): 0.000249863 (+ 0.0000)
(4000,599): 0.000249863 (+ 0.0000)
(4000,3446): 0.000249863 (+ 0.0000)
(4000,615): 0.000249863 (+ 0.0000)
(4000,2506): 0.000249863 (+ 0.0000)
(4000,2507): 0.000249863 (+ 0.0000)
(4000,1131): 0.000249863 (+ 0.0000)
(4000,1130): 0.000249863 (+ 0.0000)
(4000,194): 0.000249863 (+ 0.0000)
(4000,195): 0.000249863 (+ 0.0000)
(4000,966): 0.000249863 (+ 0.0000)
(4000,967): 0.000249863 (+ 0.0000)
(4000,3098): 0.000249863 (+ 0.0000)
(4000,255): 0.000249863 (+ 0.0000)
(4000,254): 0.000249863 (+ 0.0000)
(4000,3851): 0.000249863 (+ 0.0000)
(4000,3850): 0.000249863 (+ 0.0000)
(4000,2333): 0.000249863 (+ 0.0000)
(4000,567): 0.000249863 (+ 0.0000)
(4000,141): 0.000249863 (+ 0.0000)
(4000,140): 0.000249863 (+ 0.0000)
(4000,806): 0.000249863 (+ 0.0000)
(4000,807): 0.000249863 (+ 0.0000)
(4000,3254): 0.000249863 (+ 0.0000)
(4000,3255): 0.000249863 (+ 0.0000)
(4000,2975): 0.000249863 (+ 0.0000)
(4000,2974): 0.000249863 (+ 0.0000)
(4000,1459): 0.000249863 (+ 0.0000)
(4000,1458): 0.000249863 (+ 0.0000)
(4000,3964): 0.000249863 (+ 0.0000)
(4000,2293): 0.000249863 (+ 0.0000)
(4000,2292): 0.000249863 (+ 0.0000)
(4000,2855): 0.000249863 (+ 0.0000)
(4000,2406): 0.000249863 (+ 0.0000)
(4000,189): 0.000249863 (+ 0.0000)
(4000,188): 0.000249863 (+ 0.0000)
(4000,114): 0.000249863 (+ 0.0000)
(4000,2729): 0.000249863 (+ 0.0000)
(4000,2728): 0.000249863 (+ 0.0000)
(4000,3958): 0.000249863 (+ 0.0000)
(4000,1684): 0.000249863 (+ 0.0000)
(4000,2372): 0.000249863 (+ 0.0000)
(4000,2373): 0.000249863 (+ 0.0000)
(4000,3611): 0.000249863 (+ 0.0000)
(4000,1921): 0.000249863 (+ 0.0000)
(4000,1301): 0.000249863 (+ 0.0000)
(4000,1300): 0.000249863 (+ 0.0000)
(4000,250): 0.000249863 (+ 0.0000)
(4000,251): 0.000249863 (+ 0.0000)
(4000,2529): 0.000249863 (+ 0.0000)
(4000,2528): 0.000249863 (+ 0.0000)
(4000,3681): 0.000249863 (+ 0.0000)
(4000,3680): 0.000249863 (+ 0.0000)
(4000,1781): 0.000249863 (+ 0.0000)
(4000,1780): 0.000249863 (+ 0.0000)
(4000,1): 0.000249863 (+ 0.0000)
(4000,191): 0.000249863 (+ 0.0000)
(4000,1950): 0.000249863 (+ 0.0000)
(4000,1951): 0.000249863 (+ 0.0000)
(4000,3203): 0.000249863 (+ 0.0000)
(4000,3202): 0.000249863 (+ 0.0000)
(4000,1234): 0.000249863 (+ 0.0000)
(4000,1235): 0.000249863 (+ 0.0000)
(4000,1839): 0.000249863 (+ 0.0000)
(4000,3472): 0.000249863 (+ 0.0000)
(4000,3473): 0.000249863 (+ 0.0000)
(4000,1257): 0.000249863 (+ 0.0000)
(4000,1256): 0.000249863 (+ 0.0000)
(4000,617): 0.000249863 (+ 0.0000)
(4000,1244): 0.000249863 (+ 0.0000)
(4000,1245): 0.000249863 (+ 0.0000)
(4000,2007): 0.000249863 (+ 0.0000)
(4000,2006): 0.000249863 (+ 0.0000)
(4000,950): 0.000249863 (+ 0.0000)
(4000,951): 0.000249863 (+ 0.0000)
(4000,1543): 0.000249863 (+ 0.0000)
(4000,1542): 0.000249863 (+ 0.0000)
(4000,3894): 0.000249863 (+ 0.0000)
(4000,3895): 0.000249863 (+ 0.0000)
(4000,3971): 0.000249863 (+ 0.0000)
(4000,960): 0.000249863 (+ 0.0000)
(4000,961): 0.000249863 (+ 0.0000)
(4000,1294): 0.000249863 (+ 0.0000)
(4000,1295): 0.000249863 (+ 0.0000)
(4000,3382): 0.000249863 (+ 0.0000)
(4000,3383): 0.000249863 (+ 0.0000)
(4000,92): 0.000249863 (+ 0.0000)
(4000,93): 0.000249863 (+ 0.0000)
(4000,1630): 0.000249863 (+ 0.0000)
(4000,220): 0.000249863 (+ 0.0000)
(4000,221): 0.000249863 (+ 0.0000)
(4000,1863): 0.000249863 (+ 0.0000)
(4000,1862): 0.000249863 (+ 0.0000)
(4000,3177): 0.000249863 (+ 0.0000)
(4000,3176): 0.000249863 (+ 0.0000)
(4000,3796): 0.000249863 (+ 0.0000)
(4000,785): 0.000249863 (+ 0.0000)
(4000,784): 0.000249863 (+ 0.0000)
(4000,420): 0.000249863 (+ 0.0000)
(4000,421): 0.000249863 (+ 0.0000)
(4000,3944): 0.000249863 (+ 0.0000)
(4000,3945): 0.000249863 (+ 0.0000)
(4000,2220): 0.000249863 (+ 0.0000)
(4000,2221): 0.000249863 (+ 0.0000)
(4000,360): 0.000249863 (+ 0.0000)
(4000,361): 0.000249863 (+ 0.0000)
(4000,2917): 0.000249863 (+ 0.0000)
(4000,2916): 0.000249863 (+ 0.0000)
(4000,1276): 0.000249863 (+ 0.0000)
(4000,1277): 0.000249863 (+ 0.0000)
(4000,1679): 0.000249863 (+ 0.0000)
(4000,1678): 0.000249863 (+ 0.0000)
(4000,3556): 0.000249863 (+ 0.0000)
(4000,3557): 0.000249863 (+ 0.0000)
(4000,2744): 0.000249863 (+ 0.0000)
(4000,3500): 0.000249863 (+ 0.0000)
(4000,3501): 0.000249863 (+ 0.0000)
(4000,3191): 0.000249863 (+ 0.0000)
(4000,3190): 0.000249863 (+ 0.0000)
(4000,14): 0.000249863 (+ 0.0000)
(4000,15): 0.000249863 (+ 0.0000)
(4000,2674): 0.000249863 (+ 0.0000)
(4000,2675): 0.000249863 (+ 0.0000)
(4000,682): 0.000249863 (+ 0.0000)
(4000,683): 0.000249863 (+ 0.0000)
(4000,948): 0.000249863 (+ 0.0000)
(4000,949): 0.000249863 (+ 0.0000)
(4000,1275): 0.000249863 (+ 0.0000)
(4000,1274): 0.000249863 (+ 0.0000)
(4000,678): 0.000249863 (+ 0.0000)
(4000,2703): 0.000249863 (+ 0.0000)
(4000,2702): 0.000249863 (+ 0.0000)
(4000,918): 0.000249863 (+ 0.0000)
(4000,1821): 0.000249863 (+ 0.0000)
(4000,1572): 0.000249863 (+ 0.0000)
(4000,207): 0.000249863 (+ 0.0000)
(4000,206): 0.000249863 (+ 0.0000)
(4000,2364): 0.000249863 (+ 0.0000)
(4000,2365): 0.000249863 (+ 0.0000)
(4000,3608): 0.000249863 (+ 0.0000)
(4000,1929): 0.000249863 (+ 0.0000)
(4000,1928): 0.000249863 (+ 0.0000)
(4000,3910): 0.000249863 (+ 0.0000)
(4000,3911): 0.000249863 (+ 0.0000)
(4000,3243): 0.000249863 (+ 0.0000)
(4000,3242): 0.000249863 (+ 0.0000)
(4000,1159): 0.000249863 (+ 0.0000)
(4000,2048): 0.000249863 (+ 0.0000)
(4000,2511): 0.000249863 (+ 0.0000)
(4000,3615): 0.000249863 (+ 0.0000)
(4000,3614): 0.000249863 (+ 0.0000)
(4000,1529): 0.000249863 (+ 0.0000)
(4000,1528): 0.000249863 (+ 0.0000)
(4000,3951): 0.000249863 (+ 0.0000)
(4000,3950): 0.000249863 (+ 0.0000)
(4000,2561): 0.000249863 (+ 0.0000)
(4000,374): 0.000249863 (+ 0.0000)
(4000,2469): 0.000249863 (+ 0.0000)
(4000,2738): 0.000249863 (+ 0.0000)
(4000,379): 0.000249863 (+ 0.0000)
(4000,494): 0.000249863 (+ 0.0000)
(4000,495): 0.000249863 (+ 0.0000)
(4000,3104): 0.000249863 (+ 0.0000)
(4000,3105): 0.000249863 (+ 0.0000)
(4000,3156): 0.000249863 (+ 0.0000)
(4000,3157): 0.000249863 (+ 0.0000)
(4000,157): 0.000249863 (+ 0.0000)
(4000,156): 0.000249863 (+ 0.0000)
(4000,1084): 0.000249863 (+ 0.0000)
(4000,2846): 0.000249863 (+ 0.0000)
(4000,1351): 0.000249863 (+ 0.0000)
(4000,1350): 0.000249863 (+ 0.0000)
(4000,1376): 0.000249863 (+ 0.0000)
(4000,2805): 0.000249863 (+ 0.0000)
(4000,236): 0.000249863 (+ 0.0000)
(4000,237): 0.000249863 (+ 0.0000)
(4000,3786): 0.000249863 (+ 0.0000)
(4000,3787): 0.000249863 (+ 0.0000)
(4000,64): 0.000249863 (+ 0.0000)
(4000,2449): 0.000249863 (+ 0.0000)
(4000,2588): 0.000249863 (+ 0.0000)
(4000,1700): 0.000249863 (+ 0.0000)
(4000,3917): 0.000249863 (+ 0.0000)
(4000,3916): 0.000249863 (+ 0.0000)
(4000,824): 0.000249863 (+ 0.0000)
(4000,825): 0.000249863 (+ 0.0000)
(4000,2446): 0.000249863 (+ 0.0000)
(4000,2521): 0.000249863 (+ 0.0000)
(4000,2520): 0.000249863 (+ 0.0000)
(4000,3311): 0.000249863 (+ 0.0000)
(4000,2928): 0.000249863 (+ 0.0000)
(4000,2929): 0.000249863 (+ 0.0000)
(4000,423): 0.000249863 (+ 0.0000)
(4000,742): 0.000249863 (+ 0.0000)
(4000,512): 0.000249863 (+ 0.0000)
(4000,513): 0.000249863 (+ 0.0000)
(4000,626): 0.000249863 (+ 0.0000)
(4000,2503): 0.000249863 (+ 0.0000)
(4000,2502): 0.000249863 (+ 0.0000)
(4000,327): 0.000249863 (+ 0.0000)
(4000,1993): 0.000249863 (+ 0.0000)
(4000,1021): 0.000249863 (+ 0.0000)
(4000,1020): 0.000249863 (+ 0.0000)
(4000,2059): 0.000249863 (+ 0.0000)
(4000,2058): 0.000249863 (+ 0.0000)
(4000,2873): 0.000249863 (+ 0.0000)
(4000,2872): 0.000249863 (+ 0.0000)
(4000,436): 0.000249863 (+ 0.0000)
(4000,437): 0.000249863 (+ 0.0000)
(4000,449): 0.000249863 (+ 0.0000)
(4000,3577): 0.000249863 (+ 0.0000)
(4000,2587): 0.000249863 (+ 0.0000)
(4000,2586): 0.000249863 (+ 0.0000)
(4000,3008): 0.000249863 (+ 0.0000)
(4000,50): 0.000249863 (+ 0.0000)
(4000,51): 0.000249863 (+ 0.0000)
(4000,1026): 0.000249863 (+ 0.0000)
(4000,1027): 0.000249863 (+ 0.0000)
(4000,2991): 0.000249863 (+ 0.0000)
(4000,2990): 0.000249863 (+ 0.0000)
(4000,1517): 0.000249863 (+ 0.0000)
(4000,1480): 0.000249863 (+ 0.0000)
(4000,1481): 0.000249863 (+ 0.0000)
(4000,3054): 0.000249863 (+ 0.0000)
(4000,3055): 0.000249863 (+ 0.0000)
(4000,205): 0.000249863 (+ 0.0000)
(4000,204): 0.000249863 (+ 0.0000)
(4000,546): 0.000249863 (+ 0.0000)
(4000,3023): 0.000249863 (+ 0.0000)
(4000,3022): 0.000249863 (+ 0.0000)
(4000,2578): 0.000249863 (+ 0.0000)
(4000,3337): 0.000249863 (+ 0.0000)
(4000,3336): 0.000249863 (+ 0.0000)
(4000,1739): 0.000249863 (+ 0.0000)
(4000,1738): 0.000249863 (+ 0.0000)
(4000,1832): 0.000249863 (+ 0.0000)
(4000,1833): 0.000249863 (+ 0.0000)
(4000,3033): 0.000249863 (+ 0.0000)
(4000,3032): 0.000249863 (+ 0.0000)
(4000,700): 0.000249863 (+ 0.0000)
(4000,647): 0.000249863 (+ 0.0000)
(4000,3089): 0.000249863 (+ 0.0000)
(4000,3839): 0.000249863 (+ 0.0000)
(4000,3838): 0.000249863 (+ 0.0000)
(4000,2942): 0.000249863 (+ 0.0000)
(4000,2943): 0.000249863 (+ 0.0000)
(4000,1202): 0.000249863 (+ 0.0000)
(4000,1203): 0.000249863 (+ 0.0000)
(4000,1599): 0.000249863 (+ 0.0000)
(4000,3153): 0.000249863 (+ 0.0000)
(4000,3351): 0.000249863 (+ 0.0000)
(4000,3350): 0.000249863 (+ 0.0000)
(4000,2152): 0.000249863 (+ 0.0000)
(4000,2153): 0.000249863 (+ 0.0000)
(4000,3355): 0.000249863 (+ 0.0000)
(4000,2825): 0.000249863 (+ 0.0000)
(4000,3836): 0.000249863 (+ 0.0000)
(4000,3837): 0.000249863 (+ 0.0000)
(4000,1702): 0.000249863 (+ 0.0000)
(4000,3668): 0.000249863 (+ 0.0000)
(4000,3297): 0.000249863 (+ 0.0000)
(4000,1784): 0.000249863 (+ 0.0000)
(4000,1785): 0.000249863 (+ 0.0000)
(4000,2889): 0.000249863 (+ 0.0000)
(4000,2888): 0.000249863 (+ 0.0000)
(4000,2598): 0.000249863 (+ 0.0000)
(4000,2599): 0.000249863 (+ 0.0000)
(4000,572): 0.000249863 (+ 0.0000)
(4000,573): 0.000249863 (+ 0.0000)
(4000,1986): 0.000249863 (+ 0.0000)
(4000,1987): 0.000249863 (+ 0.0000)
(4000,3151): 0.000249863 (+ 0.0000)
(4000,3150): 0.000249863 (+ 0.0000)
(4000,2089): 0.000249863 (+ 0.0000)
(4000,2088): 0.000249863 (+ 0.0000)
(4000,3421): 0.000249863 (+ 0.0000)
(4000,3275): 0.000249863 (+ 0.0000)
(4000,3274): 0.000249863 (+ 0.0000)
(4000,819): 0.000249863 (+ 0.0000)
(4000,818): 0.000249863 (+ 0.0000)
(4000,1092): 0.000249863 (+ 0.0000)
(4000,1093): 0.000249863 (+ 0.0000)
(4000,1374): 0.000249863 (+ 0.0000)
(4000,231): 0.000249863 (+ 0.0000)
(4000,230): 0.000249863 (+ 0.0000)
(4000,2716): 0.000249863 (+ 0.0000)
(4000,2717): 0.000249863 (+ 0.0000)
(4000,3818): 0.000249863 (+ 0.0000)
(4000,3819): 0.000249863 (+ 0.0000)
(4000,3723): 0.000249863 (+ 0.0000)
(4000,3722): 0.000249863 (+ 0.0000)
(4000,286): 0.000249863 (+ 0.0000)
(4000,1845): 0.000249863 (+ 0.0000)
(4000,1844): 0.000249863 (+ 0.0000)
(4000,3928): 0.000249863 (+ 0.0000)
(4000,3929): 0.000249863 (+ 0.0000)
(4000,3558): 0.000249863 (+ 0.0000)
(4000,3559): 0.000249863 (+ 0.0000)
(4000,2626): 0.000249863 (+ 0.0000)
(4000,2627): 0.000249863 (+ 0.0000)
(4000,1776): 0.000249863 (+ 0.0000)
(4000,1777): 0.000249863 (+ 0.0000)
(4000,3909): 0.000249863 (+ 0.0000)
(4000,1117): 0.000249863 (+ 0.0000)
(4000,1116): 0.000249863 (+ 0.0000)
(4000,443): 0.000249863 (+ 0.0000)
(4000,442): 0.000249863 (+ 0.0000)
(4000,1635): 0.000249863 (+ 0.0000)
(4000,1634): 0.000249863 (+ 0.0000)
(4000,1576): 0.000249863 (+ 0.0000)
(4000,73): 0.000249863 (+ 0.0000)
(4000,2438): 0.000249863 (+ 0.0000)
(4000,2439): 0.000249863 (+ 0.0000)
(4000,1553): 0.000249863 (+ 0.0000)
(4000,1552): 0.000249863 (+ 0.0000)
(4000,597): 0.000249863 (+ 0.0000)
(4000,3159): 0.000249863 (+ 0.0000)
(4000,3158): 0.000249863 (+ 0.0000)
(4000,2254): 0.000249863 (+ 0.0000)
(4000,2255): 0.000249863 (+ 0.0000)
(4000,1915): 0.000249863 (+ 0.0000)
(4000,1914): 0.000249863 (+ 0.0000)
(4000,3707): 0.000249863 (+ 0.0000)
(4000,3706): 0.000249863 (+ 0.0000)
(4000,808): 0.000249863 (+ 0.0000)
(4000,809): 0.000249863 (+ 0.0000)
(4000,2810): 0.000249863 (+ 0.0000)
(4000,2811): 0.000249863 (+ 0.0000)
(4000,3346): 0.000249863 (+ 0.0000)
(4000,3347): 0.000249863 (+ 0.0000)
(4000,213): 0.000249863 (+ 0.0000)
(4000,212): 0.000249863 (+ 0.0000)
(4000,1399): 0.000249863 (+ 0.0000)
(4000,1398): 0.000249863 (+ 0.0000)
(4000,3535): 0.000249863 (+ 0.0000)
(4000,331): 0.000249863 (+ 0.0000)
(4000,330): 0.000249863 (+ 0.0000)
(4000,3285): 0.000249863 (+ 0.0000)
(4000,3112): 0.000249863 (+ 0.0000)
(4000,3113): 0.000249863 (+ 0.0000)
(4000,3700): 0.000249863 (+ 0.0000)
(4000,3701): 0.000249863 (+ 0.0000)
(4000,2424): 0.000249863 (+ 0.0000)
(4000,2425): 0.000249863 (+ 0.0000)
(4000,3001): 0.000249863 (+ 0.0000)
(4000,3000): 0.000249863 (+ 0.0000)
(4000,3512): 0.000249863 (+ 0.0000)
(4000,3366): 0.000249863 (+ 0.0000)
(4000,3367): 0.000249863 (+ 0.0000)
(4000,953): 0.000249863 (+ 0.0000)
(4000,952): 0.000249863 (+ 0.0000)
(4000,3800): 0.000249863 (+ 0.0000)
(4000,3901): 0.000249863 (+ 0.0000)
(4000,677): 0.000249863 (+ 0.0000)
(4000,676): 0.000249863 (+ 0.0000)
(4000,68): 0.000249863 (+ 0.0000)
(4000,69): 0.000249863 (+ 0.0000)
(4000,127): 0.000249863 (+ 0.0000)
(4000,560): 0.000249863 (+ 0.0000)
(4000,1907): 0.000249863 (+ 0.0000)
(4000,1906): 0.000249863 (+ 0.0000)
(4000,3372): 0.000249863 (+ 0.0000)
(4000,3373): 0.000249863 (+ 0.0000)
(4000,3702): 0.000249863 (+ 0.0000)
(4000,630): 0.000249863 (+ 0.0000)
(4000,631): 0.000249863 (+ 0.0000)
(4000,289): 0.000249863 (+ 0.0000)
(4000,288): 0.000249863 (+ 0.0000)
(4000,1792): 0.000249863 (+ 0.0000)
(4000,1793): 0.000249863 (+ 0.0000)
(4000,3426): 0.000249863 (+ 0.0000)
(4000,3487): 0.000249863 (+ 0.0000)
(4000,3486): 0.000249863 (+ 0.0000)
(4000,661): 0.000249863 (+ 0.0000)
(4000,660): 0.000249863 (+ 0.0000)
(4000,716): 0.000249863 (+ 0.0000)
(4000,717): 0.000249863 (+ 0.0000)
(4000,1417): 0.000249863 (+ 0.0000)
(4000,1416): 0.000249863 (+ 0.0000)
(4000,2863): 0.000249863 (+ 0.0000)
(4000,2862): 0.000249863 (+ 0.0000)
(4000,1858): 0.000249863 (+ 0.0000)
(4000,1859): 0.000249863 (+ 0.0000)
(4000,2884): 0.000249863 (+ 0.0000)
(4000,2885): 0.000249863 (+ 0.0000)
(4000,3862): 0.000249863 (+ 0.0000)
(4000,3590): 0.000249863 (+ 0.0000)
(4000,3591): 0.000249863 (+ 0.0000)
(4000,3225): 0.000249863 (+ 0.0000)
(4000,3224): 0.000249863 (+ 0.0000)
(4000,1582): 0.000249863 (+ 0.0000)
(4000,1583): 0.000249863 (+ 0.0000)
(4000,2261): 0.000249863 (+ 0.0000)
(4000,2369): 0.000249863 (+ 0.0000)
(4000,2368): 0.000249863 (+ 0.0000)
(4000,575): 0.000249863 (+ 0.0000)
(4000,574): 0.000249863 (+ 0.0000)
(4000,2834): 0.000249863 (+ 0.0000)
(4000,2835): 0.000249863 (+ 0.0000)
(4000,2989): 0.000249863 (+ 0.0000)
(4000,2988): 0.000249863 (+ 0.0000)
(4000,2997): 0.000249863 (+ 0.0000)
(4000,1501): 0.000249863 (+ 0.0000)
(4000,1500): 0.000249863 (+ 0.0000)
(4000,3004): 0.000249863 (+ 0.0000)
(4000,3005): 0.000249863 (+ 0.0000)
(4000,2023): 0.000249863 (+ 0.0000)
(4000,2022): 0.000249863 (+ 0.0000)
(4000,2616): 0.000249863 (+ 0.0000)
(4000,2617): 0.000249863 (+ 0.0000)
(4000,1740): 0.000249863 (+ 0.0000)
(4000,1741): 0.000249863 (+ 0.0000)
(4000,2766): 0.000249863 (+ 0.0000)
(4000,2767): 0.000249863 (+ 0.0000)
(4000,311): 0.000249863 (+ 0.0000)
(4000,71): 0.000249863 (+ 0.0000)
(4000,70): 0.000249863 (+ 0.0000)
(4000,483): 0.000249863 (+ 0.0000)
(4000,554): 0.000249863 (+ 0.0000)
(4000,3620): 0.000249863 (+ 0.0000)
(4000,2326): 0.000249863 (+ 0.0000)
(4000,850): 0.000249863 (+ 0.0000)
(4000,1818): 0.000249863 (+ 0.0000)
(4000,1819): 0.000249863 (+ 0.0000)
(4000,753): 0.000249863 (+ 0.0000)
(4000,752): 0.000249863 (+ 0.0000)
(4000,637): 0.000249863 (+ 0.0000)
(4000,636): 0.000249863 (+ 0.0000)
(4000,3161): 0.000249863 (+ 0.0000)
(4000,3160): 0.000249863 (+ 0.0000)
(4000,2777): 0.000249863 (+ 0.0000)
(4000,2891): 0.000249863 (+ 0.0000)
(4000,2890): 0.000249863 (+ 0.0000)
(4000,1049): 0.000249863 (+ 0.0000)
(4000,1048): 0.000249863 (+ 0.0000)
(4000,1094): 0.000249863 (+ 0.0000)
(4000,1036): 0.000249863 (+ 0.0000)
(4000,1037): 0.000249863 (+ 0.0000)
(4000,1170): 0.000249863 (+ 0.0000)
(4000,3413): 0.000249863 (+ 0.0000)
(4000,781): 0.000249863 (+ 0.0000)
(4000,3049): 0.000249863 (+ 0.0000)
(4000,3048): 0.000249863 (+ 0.0000)
(4000,2968): 0.000249863 (+ 0.0000)
(4000,2969): 0.000249863 (+ 0.0000)
(4000,2173): 0.000249863 (+ 0.0000)
(4000,2172): 0.000249863 (+ 0.0000)
(4000,1246): 0.000249863 (+ 0.0000)
(4000,3809): 0.000249863 (+ 0.0000)
(4000,2842): 0.000249863 (+ 0.0000)
(4000,845): 0.000249863 (+ 0.0000)
(4000,844): 0.000249863 (+ 0.0000)
(4000,228): 0.000249863 (+ 0.0000)
(4000,2460): 0.000249863 (+ 0.0000)
(4000,593): 0.000249863 (+ 0.0000)
(4000,592): 0.000249863 (+ 0.0000)
(4000,2356): 0.000249863 (+ 0.0000)
(4000,2228): 0.000249863 (+ 0.0000)
(4000,1857): 0.000249863 (+ 0.0000)
(4000,690): 0.000249863 (+ 0.0000)
(4000,691): 0.000249863 (+ 0.0000)
(4000,1272): 0.000249863 (+ 0.0000)
(4000,2235): 0.000249863 (+ 0.0000)
(4000,2234): 0.000249863 (+ 0.0000)
(4000,529): 0.000249863 (+ 0.0000)
(4000,2263): 0.000249863 (+ 0.0000)
(4000,3458): 0.000249863 (+ 0.0000)
(4000,3459): 0.000249863 (+ 0.0000)
(4000,1125): 0.000249863 (+ 0.0000)
(4000,1124): 0.000249863 (+ 0.0000)
(4000,239): 0.000249863 (+ 0.0000)
(4000,238): 0.000249863 (+ 0.0000)
(4000,2066): 0.000249863 (+ 0.0000)
(4000,2749): 0.000249863 (+ 0.0000)
(4000,992): 0.000249863 (+ 0.0000)
(4000,993): 0.000249863 (+ 0.0000)
(4000,3773): 0.000249863 (+ 0.0000)
(4000,2473): 0.000249863 (+ 0.0000)
(4000,1771): 0.000249863 (+ 0.0000)
(4000,1770): 0.000249863 (+ 0.0000)
(4000,2165): 0.000249863 (+ 0.0000)
(4000,2164): 0.000249863 (+ 0.0000)
(4000,2886): 0.000249863 (+ 0.0000)
(4000,2887): 0.000249863 (+ 0.0000)
(4000,1671): 0.000249863 (+ 0.0000)
(4000,1670): 0.000249863 (+ 0.0000)
(4000,124): 0.000249863 (+ 0.0000)
(4000,125): 0.000249863 (+ 0.0000)
(4000,3584): 0.000249863 (+ 0.0000)
(4000,3585): 0.000249863 (+ 0.0000)
(4000,3272): 0.000249863 (+ 0.0000)
(4000,3273): 0.000249863 (+ 0.0000)
(4000,2800): 0.000249863 (+ 0.0000)
(4000,2801): 0.000249863 (+ 0.0000)
(4000,774): 0.000249863 (+ 0.0000)
(4000,3915): 0.000249863 (+ 0.0000)
(4000,3914): 0.000249863 (+ 0.0000)
(4000,3802): 0.000249863 (+ 0.0000)
(4000,3803): 0.000249863 (+ 0.0000)
(4000,1661): 0.000249863 (+ 0.0000)
(4000,1660): 0.000249863 (+ 0.0000)
(4000,3531): 0.000249863 (+ 0.0000)
(4000,3530): 0.000249863 (+ 0.0000)
(4000,1694): 0.000249863 (+ 0.0000)
(4000,3442): 0.000249863 (+ 0.0000)
(4000,3443): 0.000249863 (+ 0.0000)
(4000,3075): 0.000249863 (+ 0.0000)
(4000,3074): 0.000249863 (+ 0.0000)
(4000,3231): 0.000249863 (+ 0.0000)
(4000,2532): 0.000249863 (+ 0.0000)
(4000,2533): 0.000249863 (+ 0.0000)
(4000,2555): 0.000249863 (+ 0.0000)
(4000,2554): 0.000249863 (+ 0.0000)
(4000,638): 0.000249863 (+ 0.0000)
(4000,639): 0.000249863 (+ 0.0000)
(4000,3844): 0.000249863 (+ 0.0000)
(4000,3845): 0.000249863 (+ 0.0000)
(4000,3206): 0.000249863 (+ 0.0000)
(4000,3207): 0.000249863 (+ 0.0000)
(4000,302): 0.000249863 (+ 0.0000)
(4000,303): 0.000249863 (+ 0.0000)
(4000,3716): 0.000249863 (+ 0.0000)
(4000,1344): 0.000249863 (+ 0.0000)
(4000,1345): 0.000249863 (+ 0.0000)
(4000,3833): 0.000249863 (+ 0.0000)
(4000,3832): 0.000249863 (+ 0.0000)
(4000,2763): 0.000249863 (+ 0.0000)
(4000,2762): 0.000249863 (+ 0.0000)
(4000,1425): 0.000249863 (+ 0.0000)
(4000,1424): 0.000249863 (+ 0.0000)
(4000,3012): 0.000249863 (+ 0.0000)
(4000,3013): 0.000249863 (+ 0.0000)
(4000,3162): 0.000249863 (+ 0.0000)
(4000,3163): 0.000249863 (+ 0.0000)
(4000,714): 0.000249863 (+ 0.0000)
(4000,2565): 0.000249863 (+ 0.0000)
(4000,1747): 0.000249863 (+ 0.0000)
(4000,1746): 0.000249863 (+ 0.0000)
(4000,797): 0.000249863 (+ 0.0000)
(4000,796): 0.000249863 (+ 0.0000)
(4000,900): 0.000249863 (+ 0.0000)
(4000,901): 0.000249863 (+ 0.0000)
(4000,3967): 0.000249863 (+ 0.0000)
(4000,3966): 0.000249863 (+ 0.0000)
(4000,3019): 0.000249863 (+ 0.0000)
(4000,1716): 0.000249863 (+ 0.0000)
(4000,1717): 0.000249863 (+ 0.0000)
(4000,535): 0.000249863 (+ 0.0000)
(4000,2335): 0.000249863 (+ 0.0000)
(4000,2334): 0.000249863 (+ 0.0000)
(4000,3322): 0.000249863 (+ 0.0000)
(4000,3323): 0.000249863 (+ 0.0000)
(4000,1477): 0.000249863 (+ 0.0000)
(4000,1476): 0.000249863 (+ 0.0000)
(4000,215): 0.000249863 (+ 0.0000)
(4000,214): 0.000249863 (+ 0.0000)
(4000,3471): 0.000249863 (+ 0.0000)
(4000,3470): 0.000249863 (+ 0.0000)
(4000,1175): 0.000249863 (+ 0.0000)
(4000,1174): 0.000249863 (+ 0.0000)
(4000,2222): 0.000249863 (+ 0.0000)
(4000,2223): 0.000249863 (+ 0.0000)
(4000,2485): 0.000249863 (+ 0.0000)
(4000,2484): 0.000249863 (+ 0.0000)
(4000,2259): 0.000249863 (+ 0.0000)
(4000,2258): 0.000249863 (+ 0.0000)
(4000,1659): 0.000249863 (+ 0.0000)
(4000,1861): 0.000249863 (+ 0.0000)
(4000,2285): 0.000249863 (+ 0.0000)
(4000,2284): 0.000249863 (+ 0.0000)
(4000,1647): 0.000249863 (+ 0.0000)
(4000,1646): 0.000249863 (+ 0.0000)
(4000,76): 0.000249863 (+ 0.0000)
(4000,77): 0.000249863 (+ 0.0000)
(4000,939): 0.000249863 (+ 0.0000)
(4000,938): 0.000249863 (+ 0.0000)
(4000,2010): 0.000249863 (+ 0.0000)
(4000,2011): 0.000249863 (+ 0.0000)
(4000,696): 0.000249863 (+ 0.0000)
(4000,697): 0.000249863 (+ 0.0000)
(4000,3324): 0.000249863 (+ 0.0000)
(4000,3325): 0.000249863 (+ 0.0000)
(4000,2926): 0.000249863 (+ 0.0000)
(4000,181): 0.000249863 (+ 0.0000)
(4000,180): 0.000249863 (+ 0.0000)
(4000,3317): 0.000249863 (+ 0.0000)
(4000,3316): 0.000249863 (+ 0.0000)
(4000,1352): 0.000249863 (+ 0.0000)
(4000,1353): 0.000249863 (+ 0.0000)
(4000,517): 0.000249863 (+ 0.0000)
(4000,516): 0.000249863 (+ 0.0000)
(4000,1522): 0.000249863 (+ 0.0000)
(4000,1523): 0.000249863 (+ 0.0000)
(4000,693): 0.000249863 (+ 0.0000)
(4000,692): 0.000249863 (+ 0.0000)
(4000,496): 0.000249863 (+ 0.0000)
(4000,1022): 0.000249863 (+ 0.0000)
(4000,2680): 0.000249863 (+ 0.0000)
(4000,3320): 0.000249863 (+ 0.0000)
(4000,2978): 0.000249863 (+ 0.0000)
(4000,2979): 0.000249863 (+ 0.0000)
(4000,2065): 0.000249863 (+ 0.0000)
(4000,2064): 0.000249863 (+ 0.0000)
(4000,1884): 0.000249863 (+ 0.0000)
(4000,1885): 0.000249863 (+ 0.0000)
(4000,2858): 0.000249863 (+ 0.0000)
(4000,2859): 0.000249863 (+ 0.0000)
(4000,244): 0.000249863 (+ 0.0000)
(4000,245): 0.000249863 (+ 0.0000)
(4000,3455): 0.000249863 (+ 0.0000)
(4000,3454): 0.000249863 (+ 0.0000)
(4000,1107): 0.000249863 (+ 0.0000)
(4000,3433): 0.000249863 (+ 0.0000)
(4000,2096): 0.000249863 (+ 0.0000)
(4000,2097): 0.000249863 (+ 0.0000)
(4000,1320): 0.000249863 (+ 0.0000)
(4000,1321): 0.000249863 (+ 0.0000)
(4000,1756): 0.000249863 (+ 0.0000)
(4000,1757): 0.000249863 (+ 0.0000)
(4000,842): 0.000249863 (+ 0.0000)
(4000,843): 0.000249863 (+ 0.0000)
(4000,3017): 0.000249863 (+ 0.0000)
(4000,118): 0.000249863 (+ 0.0000)
(4000,119): 0.000249863 (+ 0.0000)
(4000,1498): 0.000249863 (+ 0.0000)
(4000,1499): 0.000249863 (+ 0.0000)
(4000,1983): 0.000249863 (+ 0.0000)
(4000,1982): 0.000249863 (+ 0.0000)
(4000,2233): 0.000249863 (+ 0.0000)
(4000,2848): 0.000249863 (+ 0.0000)
(4000,3739): 0.000249863 (+ 0.0000)
(4000,3738): 0.000249863 (+ 0.0000)
(4000,3511): 0.000249863 (+ 0.0000)
(4000,297): 0.000249863 (+ 0.0000)
(4000,296): 0.000249863 (+ 0.0000)
(4000,2175): 0.000249863 (+ 0.0000)
(4000,2219): 0.000249863 (+ 0.0000)
(4000,2218): 0.000249863 (+ 0.0000)
(4000,2569): 0.000249863 (+ 0.0000)
(4000,2568): 0.000249863 (+ 0.0000)
(4000,2167): 0.000249863 (+ 0.0000)
(4000,2166): 0.000249863 (+ 0.0000)
(4000,2615): 0.000249863 (+ 0.0000)
(4000,1742): 0.000249863 (+ 0.0000)
(4000,1743): 0.000249863 (+ 0.0000)
(4000,2836): 0.000249863 (+ 0.0000)
(4000,2398): 0.000249863 (+ 0.0000)
(4000,2399): 0.000249863 (+ 0.0000)
(4000,1596): 0.000249863 (+ 0.0000)
(4000,1955): 0.000249863 (+ 0.0000)
(4000,1954): 0.000249863 (+ 0.0000)
(4000,2773): 0.000249863 (+ 0.0000)
(4000,2772): 0.000249863 (+ 0.0000)
(4000,1016): 0.000249863 (+ 0.0000)
(4000,1644): 0.000249863 (+ 0.0000)
(4000,1152): 0.000249863 (+ 0.0000)
(4000,2092): 0.000249863 (+ 0.0000)
(4000,2093): 0.000249863 (+ 0.0000)
(4000,2894): 0.000249863 (+ 0.0000)
(4000,2895): 0.000249863 (+ 0.0000)
(4000,2845): 0.000249863 (+ 0.0000)
(4000,1383): 0.000249863 (+ 0.0000)
(4000,1382): 0.000249863 (+ 0.0000)
(4000,3822): 0.000249863 (+ 0.0000)
(4000,867): 0.000249863 (+ 0.0000)
(4000,3532): 0.000249863 (+ 0.0000)
(4000,3533): 0.000249863 (+ 0.0000)
(4000,1924): 0.000249863 (+ 0.0000)
(4000,1925): 0.000249863 (+ 0.0000)
(4000,1461): 0.000249863 (+ 0.0000)
(4000,1460): 0.000249863 (+ 0.0000)
(4000,2353): 0.000249863 (+ 0.0000)
(4000,2352): 0.000249863 (+ 0.0000)
(4000,1908): 0.000249863 (+ 0.0000)
(4000,1909): 0.000249863 (+ 0.0000)
(4000,2100): 0.000249863 (+ 0.0000)
(4000,2514): 0.000249863 (+ 0.0000)
(4000,2515): 0.000249863 (+ 0.0000)
(4000,1000): 0.000249863 (+ 0.0000)
(4000,1001): 0.000249863 (+ 0.0000)
(4000,3379): 0.000249863 (+ 0.0000)
(4000,3378): 0.000249863 (+ 0.0000)
(4000,52): 0.000249863 (+ 0.0000)
(4000,672): 0.000249863 (+ 0.0000)
(4000,673): 0.000249863 (+ 0.0000)
(4000,346): 0.000249863 (+ 0.0000)
(4000,2025): 0.000249863 (+ 0.0000)
(4000,2024): 0.000249863 (+ 0.0000)
(4000,1879): 0.000249863 (+ 0.0000)
(4000,1878): 0.000249863 (+ 0.0000)
(4000,3810): 0.000249863 (+ 0.0000)
(4000,3811): 0.000249863 (+ 0.0000)
(4000,2304): 0.000249863 (+ 0.0000)
(4000,3371): 0.000249863 (+ 0.0000)
(4000,2550): 0.000249863 (+ 0.0000)
(4000,2551): 0.000249863 (+ 0.0000)
(4000,3603): 0.000249863 (+ 0.0000)
(4000,3602): 0.000249863 (+ 0.0000)
(4000,3991): 0.000249863 (+ 0.0000)
(4000,3990): 0.000249863 (+ 0.0000)
(4000,3907): 0.000249863 (+ 0.0000)
(4000,3906): 0.000249863 (+ 0.0000)
(4000,2337): 0.000249863 (+ 0.0000)
(4000,1890): 0.000249863 (+ 0.0000)
(4000,1891): 0.000249863 (+ 0.0000)
(4000,354): 0.000249863 (+ 0.0000)
(4000,355): 0.000249863 (+ 0.0000)
(4000,3294): 0.000249863 (+ 0.0000)
(4000,3237): 0.000249863 (+ 0.0000)
(4000,3791): 0.000249863 (+ 0.0000)
(4000,3790): 0.000249863 (+ 0.0000)
(4000,295): 0.000249863 (+ 0.0000)
(4000,467): 0.000249863 (+ 0.0000)
(4000,466): 0.000249863 (+ 0.0000)
(4000,837): 0.000249863 (+ 0.0000)
(4000,836): 0.000249863 (+ 0.0000)
(4000,1304): 0.000249863 (+ 0.0000)
(4000,3807): 0.000249863 (+ 0.0000)
(4000,3806): 0.000249863 (+ 0.0000)
(4000,2409): 0.000249863 (+ 0.0000)
(4000,1032): 0.000249863 (+ 0.0000)
(4000,1033): 0.000249863 (+ 0.0000)
(4000,1978): 0.000249863 (+ 0.0000)
(4000,1979): 0.000249863 (+ 0.0000)
(4000,643): 0.000249863 (+ 0.0000)
(4000,642): 0.000249863 (+ 0.0000)
(4000,1293): 0.000249863 (+ 0.0000)
(4000,1292): 0.000249863 (+ 0.0000)
(4000,957): 0.000249863 (+ 0.0000)
(4000,956): 0.000249863 (+ 0.0000)
(4000,3978): 0.000249863 (+ 0.0000)
(4000,3979): 0.000249863 (+ 0.0000)
(4000,2841): 0.000249863 (+ 0.0000)
(4000,2931): 0.000249863 (+ 0.0000)
(4000,2930): 0.000249863 (+ 0.0000)
(4000,2275): 0.000249863 (+ 0.0000)
(4000,2274): 0.000249863 (+ 0.0000)
(4000,3977): 0.000249863 (+ 0.0000)
(4000,3854): 0.000249863 (+ 0.0000)
(4000,3855): 0.000249863 (+ 0.0000)
(4000,1066): 0.000249863 (+ 0.0000)
(4000,1067): 0.000249863 (+ 0.0000)
(4000,3758): 0.000249863 (+ 0.0000)
(4000,3759): 0.000249863 (+ 0.0000)
(4000,2107): 0.000249863 (+ 0.0000)
(4000,2106): 0.000249863 (+ 0.0000)
(4000,1478): 0.000249863 (+ 0.0000)
(4000,562): 0.000249863 (+ 0.0000)
(4000,563): 0.000249863 (+ 0.0000)
(4000,2613): 0.000249863 (+ 0.0000)
(4000,2612): 0.000249863 (+ 0.0000)
(4000,2135): 0.000249863 (+ 0.0000)
(4000,3359): 0.000249863 (+ 0.0000)
(4000,3358): 0.000249863 (+ 0.0000)
(4000,2774): 0.000249863 (+ 0.0000)
(4000,2775): 0.000249863 (+ 0.0000)
(4000,1815): 0.000249863 (+ 0.0000)
(4000,1917): 0.000249863 (+ 0.0000)
(4000,2526): 0.000249863 (+ 0.0000)
(4000,3430): 0.000249863 (+ 0.0000)
(4000,2912): 0.000249863 (+ 0.0000)
(4000,2913): 0.000249863 (+ 0.0000)
(4000,3592): 0.000249863 (+ 0.0000)
(4000,3593): 0.000249863 (+ 0.0000)
(4000,3051): 0.000249863 (+ 0.0000)
(4000,942): 0.000249863 (+ 0.0000)
(4000,685): 0.000249863 (+ 0.0000)
(4000,684): 0.000249863 (+ 0.0000)
(4000,2952): 0.000249863 (+ 0.0000)
(4000,2953): 0.000249863 (+ 0.0000)
(4000,1002): 0.000249863 (+ 0.0000)
(4000,1003): 0.000249863 (+ 0.0000)
(4000,1923): 0.000249863 (+ 0.0000)
(4000,1922): 0.000249863 (+ 0.0000)
(4000,2002): 0.000249863 (+ 0.0000)
(4000,1837): 0.000249863 (+ 0.0000)
(4000,1753): 0.000249863 (+ 0.0000)
(4000,1752): 0.000249863 (+ 0.0000)
(4000,2881): 0.000249863 (+ 0.0000)
(4000,2880): 0.000249863 (+ 0.0000)
(4000,2924): 0.000249863 (+ 0.0000)
(4000,2823): 0.000249863 (+ 0.0000)
(4000,2822): 0.000249863 (+ 0.0000)
(4000,632): 0.000249863 (+ 0.0000)
(4000,633): 0.000249863 (+ 0.0000)
(4000,3542): 0.000249863 (+ 0.0000)
(4000,3543): 0.000249863 (+ 0.0000)
(4000,2389): 0.000249863 (+ 0.0000)
(4000,2625): 0.000249863 (+ 0.0000)
(4000,2760): 0.000249863 (+ 0.0000)
(4000,2761): 0.000249863 (+ 0.0000)
(4000,3133): 0.000249863 (+ 0.0000)
(4000,3132): 0.000249863 (+ 0.0000)
(4000,334): 0.000249863 (+ 0.0000)
(4000,335): 0.000249863 (+ 0.0000)
(4000,415): 0.000249863 (+ 0.0000)
(4000,414): 0.000249863 (+ 0.0000)
(4000,2201): 0.000249863 (+ 0.0000)
(4000,2200): 0.000249863 (+ 0.0000)
(4000,1649): 0.000249863 (+ 0.0000)
(4000,958): 0.000249863 (+ 0.0000)
(4000,3517): 0.000249863 (+ 0.0000)
(4000,3314): 0.000249863 (+ 0.0000)
(4000,3315): 0.000249863 (+ 0.0000)
(4000,3168): 0.000249863 (+ 0.0000)
(4000,3539): 0.000249863 (+ 0.0000)
(4000,3538): 0.000249863 (+ 0.0000)
(4000,3523): 0.000249863 (+ 0.0000)
(4000,3522): 0.000249863 (+ 0.0000)
(4000,393): 0.000249863 (+ 0.0000)
(4000,392): 0.000249863 (+ 0.0000)
(4000,1550): 0.000249863 (+ 0.0000)
(4000,2052): 0.000249863 (+ 0.0000)
(4000,2053): 0.000249863 (+ 0.0000)
(4000,3607): 0.000249863 (+ 0.0000)
(4000,3606): 0.000249863 (+ 0.0000)
(4000,501): 0.000249863 (+ 0.0000)
(4000,500): 0.000249863 (+ 0.0000)
(4000,3435): 0.000249863 (+ 0.0000)
(4000,3434): 0.000249863 (+ 0.0000)
(4000,1198): 0.000249863 (+ 0.0000)
(4000,3834): 0.000249863 (+ 0.0000)
(4000,2866): 0.000249863 (+ 0.0000)
(4000,3083): 0.000249863 (+ 0.0000)
(4000,3082): 0.000249863 (+ 0.0000)
(4000,2795): 0.000249863 (+ 0.0000)
(4000,3548): 0.000249863 (+ 0.0000)
(4000,3549): 0.000249863 (+ 0.0000)
(4000,2538): 0.000249863 (+ 0.0000)
(4000,2539): 0.000249863 (+ 0.0000)
(4000,1335): 0.000249863 (+ 0.0000)
(4000,2933): 0.000249863 (+ 0.0000)
(4000,2932): 0.000249863 (+ 0.0000)
(4000,2094): 0.000249863 (+ 0.0000)
(4000,3715): 0.000249863 (+ 0.0000)
(4000,1548): 0.000249863 (+ 0.0000)
(4000,1758): 0.000249863 (+ 0.0000)
(4000,1759): 0.000249863 (+ 0.0000)
(4000,2713): 0.000249863 (+ 0.0000)
(4000,2712): 0.000249863 (+ 0.0000)
(4000,1157): 0.000249863 (+ 0.0000)
(4000,3457): 0.000249863 (+ 0.0000)
(4000,2747): 0.000249863 (+ 0.0000)
(4000,2746): 0.000249863 (+ 0.0000)
(4000,2535): 0.000249863 (+ 0.0000)
(4000,3742): 0.000249863 (+ 0.0000)
(4000,2802): 0.000249863 (+ 0.0000)
(4000,2803): 0.000249863 (+ 0.0000)
(4000,2619): 0.000249863 (+ 0.0000)
(4000,1222): 0.000249863 (+ 0.0000)
(4000,878): 0.000249863 (+ 0.0000)
(4000,1316): 0.000249863 (+ 0.0000)
(4000,2464): 0.000249863 (+ 0.0000)
(4000,2225): 0.000249863 (+ 0.0000)
(4000,2224): 0.000249863 (+ 0.0000)
(4000,817): 0.000249863 (+ 0.0000)
(4000,1585): 0.000249863 (+ 0.0000)
(4000,465): 0.000249863 (+ 0.0000)
(4000,435): 0.000249863 (+ 0.0000)
(4000,3961): 0.000249863 (+ 0.0000)
(4000,79): 0.000249863 (+ 0.0000)
(4000,1510): 0.000249863 (+ 0.0000)
(4000,1018): 0.000249863 (+ 0.0000)
(4000,1019): 0.000249863 (+ 0.0000)
(4000,3143): 0.000249863 (+ 0.0000)
(4000,3142): 0.000249863 (+ 0.0000)
(4000,3718): 0.000249863 (+ 0.0000)
(4000,3719): 0.000249863 (+ 0.0000)
(4000,1972): 0.000249863 (+ 0.0000)
(4000,815): 0.000249863 (+ 0.0000)
(4000,1721): 0.000249863 (+ 0.0000)
(4000,1720): 0.000249863 (+ 0.0000)
(4000,2628): 0.000249863 (+ 0.0000)
(4000,1348): 0.000249863 (+ 0.0000)
(4000,3115): 0.000249863 (+ 0.0000)
(4000,519): 0.000249863 (+ 0.0000)
(4000,518): 0.000249863 (+ 0.0000)
(4000,155): 0.000249863 (+ 0.0000)
(4000,154): 0.000249863 (+ 0.0000)
(4000,1713): 0.000249863 (+ 0.0000)
(4000,2519): 0.000249863 (+ 0.0000)
(4000,2518): 0.000249863 (+ 0.0000)
(4000,2272): 0.000249863 (+ 0.0000)
(4000,2273): 0.000249863 (+ 0.0000)
(4000,2553): 0.000249863 (+ 0.0000)
(4000,2552): 0.000249863 (+ 0.0000)
(4000,2687): 0.000249863 (+ 0.0000)
(4000,2686): 0.000249863 (+ 0.0000)
(4000,2340): 0.000249863 (+ 0.0000)
(4000,2437): 0.000249863 (+ 0.0000)
(4000,2436): 0.000249863 (+ 0.0000)
(4000,1997): 0.000249863 (+ 0.0000)
(4000,1996): 0.000249863 (+ 0.0000)
(4000,1015): 0.000249863 (+ 0.0000)
(4000,3333): 0.000249863 (+ 0.0000)
(4000,3440): 0.000249863 (+ 0.0000)
(4000,3441): 0.000249863 (+ 0.0000)
(4000,1034): 0.000249863 (+ 0.0000)
(4000,1035): 0.000249863 (+ 0.0000)
(4000,1497): 0.000249863 (+ 0.0000)
(4000,3068): 0.000249863 (+ 0.0000)
(4000,3069): 0.000249863 (+ 0.0000)
(4000,1802): 0.000249863 (+ 0.0000)
(4000,2016): 0.000249863 (+ 0.0000)
(4000,2543): 0.000249863 (+ 0.0000)
(4000,2542): 0.000249863 (+ 0.0000)
(4000,317): 0.000249863 (+ 0.0000)
(4000,316): 0.000249863 (+ 0.0000)
(4000,1966): 0.000249863 (+ 0.0000)
(4000,1967): 0.000249863 (+ 0.0000)
(4000,23): 0.000249863 (+ 0.0000)
(4000,3365): 0.000249863 (+ 0.0000)
(4000,704): 0.000249863 (+ 0.0000)
(4000,705): 0.000249863 (+ 0.0000)
(4000,182): 0.000249863 (+ 0.0000)
(4000,342): 0.000249863 (+ 0.0000)
(4000,3775): 0.000249863 (+ 0.0000)
(4000,3774): 0.000249863 (+ 0.0000)
(4000,2724): 0.000249863 (+ 0.0000)
(4000,2725): 0.000249863 (+ 0.0000)
(4000,3869): 0.000249863 (+ 0.0000)
(4000,2215): 0.000249863 (+ 0.0000)
(4000,2214): 0.000249863 (+ 0.0000)
(4000,3632): 0.000249863 (+ 0.0000)
(4000,172): 0.000249863 (+ 0.0000)
(4000,3792): 0.000249863 (+ 0.0000)
(4000,3793): 0.000249863 (+ 0.0000)
(4000,2170): 0.000249863 (+ 0.0000)
(4000,2171): 0.000249863 (+ 0.0000)
(4000,1074): 0.000249863 (+ 0.0000)
(4000,893): 0.000249863 (+ 0.0000)
(4000,999): 0.000249863 (+ 0.0000)
(4000,998): 0.000249863 (+ 0.0000)
(4000,479): 0.000249863 (+ 0.0000)
(4000,2120): 0.000249863 (+ 0.0000)
(4000,2121): 0.000249863 (+ 0.0000)
(4000,3327): 0.000249863 (+ 0.0000)
(4000,3326): 0.000249863 (+ 0.0000)
(4000,2083): 0.000249863 (+ 0.0000)
(4000,201): 0.000249863 (+ 0.0000)
(4000,3642): 0.000249863 (+ 0.0000)
(4000,3643): 0.000249863 (+ 0.0000)
(4000,2572): 0.000249863 (+ 0.0000)
(4000,2573): 0.000249863 (+ 0.0000)
(4000,874): 0.000249863 (+ 0.0000)
(4000,875): 0.000249863 (+ 0.0000)
(4000,3093): 0.000249863 (+ 0.0000)
(4000,1943): 0.000249863 (+ 0.0000)
(4000,2522): 0.000249863 (+ 0.0000)
(4000,2523): 0.000249863 (+ 0.0000)
(4000,2876): 0.000249863 (+ 0.0000)
(4000,2877): 0.000249863 (+ 0.0000)
(4000,1613): 0.000249863 (+ 0.0000)
(4000,1612): 0.000249863 (+ 0.0000)
(4000,1445): 0.000249863 (+ 0.0000)
(4000,1444): 0.000249863 (+ 0.0000)
(4000,2202): 0.000249863 (+ 0.0000)
(4000,2203): 0.000249863 (+ 0.0000)
(4000,502): 0.000249863 (+ 0.0000)
(4000,503): 0.000249863 (+ 0.0000)
(4000,2286): 0.000249863 (+ 0.0000)
(4000,2287): 0.000249863 (+ 0.0000)
(4000,1189): 0.000249863 (+ 0.0000)
(4000,1031): 0.000249863 (+ 0.0000)
(4000,1030): 0.000249863 (+ 0.0000)
(4000,3178): 0.000249863 (+ 0.0000)
(4000,3179): 0.000249863 (+ 0.0000)
(4000,1110): 0.000249863 (+ 0.0000)
(4000,1111): 0.000249863 (+ 0.0000)
(4000,695): 0.000249863 (+ 0.0000)
(4000,368): 0.000249863 (+ 0.0000)
(4000,1076): 0.000249863 (+ 0.0000)
(4000,1077): 0.000249863 (+ 0.0000)
(4000,3545): 0.000249863 (+ 0.0000)
(4000,386): 0.000249863 (+ 0.0000)
(4000,349): 0.000249863 (+ 0.0000)
(4000,348): 0.000249863 (+ 0.0000)
(4000,171): 0.000249863 (+ 0.0000)
(4000,170): 0.000249863 (+ 0.0000)
(4000,1490): 0.000249863 (+ 0.0000)
(4000,1491): 0.000249863 (+ 0.0000)
(4000,2151): 0.000249863 (+ 0.0000)
(4000,1430): 0.000249863 (+ 0.0000)
(4000,1431): 0.000249863 (+ 0.0000)
(4000,1221): 0.000249863 (+ 0.0000)
(4000,2386): 0.000249863 (+ 0.0000)
(4000,1369): 0.000249863 (+ 0.0000)
(4000,1368): 0.000249863 (+ 0.0000)
(4000,770): 0.000249863 (+ 0.0000)
(4000,3400): 0.000249863 (+ 0.0000)
(4000,3401): 0.000249863 (+ 0.0000)
(4000,1790): 0.000249863 (+ 0.0000)
(4000,2883): 0.000249863 (+ 0.0000)
(4000,2882): 0.000249863 (+ 0.0000)
(4000,779): 0.000249863 (+ 0.0000)
(4000,2960): 0.000249863 (+ 0.0000)
(4000,2961): 0.000249863 (+ 0.0000)
(4000,1442): 0.000249863 (+ 0.0000)
(4000,578): 0.000249863 (+ 0.0000)
(4000,579): 0.000249863 (+ 0.0000)
(4000,2673): 0.000249863 (+ 0.0000)
(4000,2672): 0.000249863 (+ 0.0000)
(4000,1611): 0.000249863 (+ 0.0000)
(4000,1610): 0.000249863 (+ 0.0000)
(4000,1722): 0.000249863 (+ 0.0000)
(4000,1723): 0.000249863 (+ 0.0000)
(4000,1728): 0.000249863 (+ 0.0000)
(4000,2251): 0.000249863 (+ 0.0000)
(4000,2250): 0.000249863 (+ 0.0000)
(4000,202): 0.000249863 (+ 0.0000)
(4000,203): 0.000249863 (+ 0.0000)
(4000,2005): 0.000249863 (+ 0.0000)
(4000,2004): 0.000249863 (+ 0.0000)
(4000,1013): 0.000249863 (+ 0.0000)
(4000,1012): 0.000249863 (+ 0.0000)
(4000,1029): 0.000249863 (+ 0.0000)
(4000,1028): 0.000249863 (+ 0.0000)
(4000,95): 0.000249863 (+ 0.0000)
(4000,795): 0.000249863 (+ 0.0000)
(4000,794): 0.000249863 (+ 0.0000)
(4000,1373): 0.000249863 (+ 0.0000)
(4000,2102): 0.000249863 (+ 0.0000)
(4000,139): 0.000249863 (+ 0.0000)
(4000,138): 0.000249863 (+ 0.0000)
(4000,1594): 0.000249863 (+ 0.0000)
(4000,2998): 0.000249863 (+ 0.0000)
(4000,1287): 0.000249863 (+ 0.0000)
(4000,1024): 0.000249863 (+ 0.0000)
(4000,1025): 0.000249863 (+ 0.0000)
(4000,262): 0.000249863 (+ 0.0000)
(4000,263): 0.000249863 (+ 0.0000)
(4000,99): 0.000249863 (+ 0.0000)
(4000,98): 0.000249863 (+ 0.0000)
(4000,290): 0.000249863 (+ 0.0000)
(4000,2054): 0.000249863 (+ 0.0000)
(4000,2055): 0.000249863 (+ 0.0000)
(4000,525): 0.000249863 (+ 0.0000)
(4000,524): 0.000249863 (+ 0.0000)
(4000,787): 0.000249863 (+ 0.0000)
(4000,786): 0.000249863 (+ 0.0000)
(4000,2826): 0.000249863 (+ 0.0000)
(4000,2827): 0.000249863 (+ 0.0000)
(4000,3073): 0.000249863 (+ 0.0000)
(4000,3072): 0.000249863 (+ 0.0000)
(4000,612): 0.000249863 (+ 0.0000)
(4000,613): 0.000249863 (+ 0.0000)
(4000,762): 0.000249863 (+ 0.0000)
(4000,3211): 0.000249863 (+ 0.0000)
(4000,3210): 0.000249863 (+ 0.0000)
(4000,2655): 0.000249863 (+ 0.0000)
(4000,2654): 0.000249863 (+ 0.0000)
(4000,2779): 0.000249863 (+ 0.0000)
(4000,2778): 0.000249863 (+ 0.0000)
(4000,1181): 0.000249863 (+ 0.0000)
(4000,1180): 0.000249863 (+ 0.0000)
(4000,2829): 0.000249863 (+ 0.0000)
(4000,2828): 0.000249863 (+ 0.0000)
(4000,1557): 0.000249863 (+ 0.0000)
(4000,2156): 0.000249863 (+ 0.0000)
(4000,2893): 0.000249863 (+ 0.0000)
(4000,1604): 0.000249863 (+ 0.0000)
(4000,1605): 0.000249863 (+ 0.0000)
(4000,585): 0.000249863 (+ 0.0000)
(4000,584): 0.000249863 (+ 0.0000)
(4000,1104): 0.000249863 (+ 0.0000)
(4000,3071): 0.000249863 (+ 0.0000)
(4000,2318): 0.000249863 (+ 0.0000)
(4000,3474): 0.000249863 (+ 0.0000)
(4000,3475): 0.000249863 (+ 0.0000)
(4000,1650): 0.000249863 (+ 0.0000)
(4000,1651): 0.000249863 (+ 0.0000)
(4000,3815): 0.000249863 (+ 0.0000)
(4000,3814): 0.000249863 (+ 0.0000)
(4000,1697): 0.000249863 (+ 0.0000)
(4000,1696): 0.000249863 (+ 0.0000)
(4000,159): 0.000249863 (+ 0.0000)
(4000,3752): 0.000249863 (+ 0.0000)
(4000,2231): 0.000249863 (+ 0.0000)
(4000,583): 0.000249863 (+ 0.0000)
(4000,582): 0.000249863 (+ 0.0000)
(4000,441): 0.000249863 (+ 0.0000)
(4000,3280): 0.000249863 (+ 0.0000)
(4000,3281): 0.000249863 (+ 0.0000)
(4000,3477): 0.000249863 (+ 0.0000)
(4000,3476): 0.000249863 (+ 0.0000)
(4000,3721): 0.000249863 (+ 0.0000)
(4000,3720): 0.000249863 (+ 0.0000)
(4000,863): 0.000249863 (+ 0.0000)
(4000,862): 0.000249863 (+ 0.0000)
(4000,3762): 0.000249863 (+ 0.0000)
(4000,3730): 0.000249863 (+ 0.0000)
(4000,2283): 0.000249863 (+ 0.0000)
(4000,462): 0.000249863 (+ 0.0000)
(4000,706): 0.000249863 (+ 0.0000)
(4000,707): 0.000249863 (+ 0.0000)
(4000,2938): 0.000249863 (+ 0.0000)
(4000,522): 0.000249863 (+ 0.0000)
(4000,2367): 0.000249863 (+ 0.0000)
(4000,2366): 0.000249863 (+ 0.0000)
(4000,3056): 0.000249863 (+ 0.0000)
(4000,3096): 0.000249863 (+ 0.0000)
(4000,735): 0.000249863 (+ 0.0000)
(4000,734): 0.000249863 (+ 0.0000)
(4000,3902): 0.000249863 (+ 0.0000)
(4000,3903): 0.000249863 (+ 0.0000)
(4000,3238): 0.000249863 (+ 0.0000)
(4000,3239): 0.000249863 (+ 0.0000)
(4000,2459): 0.000249863 (+ 0.0000)
(4000,2458): 0.000249863 (+ 0.0000)
(4000,1926): 0.000249863 (+ 0.0000)
(4000,1927): 0.000249863 (+ 0.0000)
(4000,2390): 0.000249863 (+ 0.0000)
(4000,2391): 0.000249863 (+ 0.0000)
(4000,2345): 0.000249863 (+ 0.0000)
(4000,2050): 0.000249863 (+ 0.0000)
(4000,2051): 0.000249863 (+ 0.0000)
(4000,3479): 0.000249863 (+ 0.0000)
(4000,3478): 0.000249863 (+ 0.0000)
(4000,2411): 0.000249863 (+ 0.0000)
(4000,2410): 0.000249863 (+ 0.0000)
(4000,927): 0.000249863 (+ 0.0000)
(4000,729): 0.000249863 (+ 0.0000)
(4000,935): 0.000249863 (+ 0.0000)
(4000,29): 0.000249863 (+ 0.0000)
(4000,28): 0.000249863 (+ 0.0000)
(4000,433): 0.000249863 (+ 0.0000)
(4000,432): 0.000249863 (+ 0.0000)
(4000,3490): 0.000249863 (+ 0.0000)
(4000,359): 0.000249863 (+ 0.0000)
(4000,358): 0.000249863 (+ 0.0000)
(4000,2248): 0.000249863 (+ 0.0000)
(4000,1687): 0.000249863 (+ 0.0000)
(4000,1686): 0.000249863 (+ 0.0000)
(4000,1359): 0.000249863 (+ 0.0000)
(4000,3629): 0.000249863 (+ 0.0000)
(4000,3628): 0.000249863 (+ 0.0000)
(4000,113): 0.000249863 (+ 0.0000)
(4000,112): 0.000249863 (+ 0.0000)
(4000,3107): 0.000249863 (+ 0.0000)
(4000,3106): 0.000249863 (+ 0.0000)
(4000,2382): 0.000249863 (+ 0.0000)
(4000,3220): 0.000249863 (+ 0.0000)
(4000,3221): 0.000249863 (+ 0.0000)
(4000,3781): 0.000249863 (+ 0.0000)
(4000,3780): 0.000249863 (+ 0.0000)
(4000,1706): 0.000249863 (+ 0.0000)
(4000,1707): 0.000249863 (+ 0.0000)
(4000,2031): 0.000249863 (+ 0.0000)
(4000,2030): 0.000249863 (+ 0.0000)
(4000,1333): 0.000249863 (+ 0.0000)
(4000,365): 0.000249863 (+ 0.0000)
(4000,1008): 0.000249863 (+ 0.0000)
(4000,1446): 0.000249863 (+ 0.0000)
(4000,1447): 0.000249863 (+ 0.0000)
(4000,3489): 0.000249863 (+ 0.0000)
(4000,3488): 0.000249863 (+ 0.0000)
(4000,2303): 0.000249863 (+ 0.0000)
(4000,2302): 0.000249863 (+ 0.0000)
(4000,557): 0.000249863 (+ 0.0000)
(4000,3042): 0.000249863 (+ 0.0000)
(4000,3269): 0.000249863 (+ 0.0000)
(4000,3268): 0.000249863 (+ 0.0000)
(4000,1268): 0.000249863 (+ 0.0000)
(4000,1269): 0.000249863 (+ 0.0000)
(4000,2715): 0.000249863 (+ 0.0000)
(4000,2714): 0.000249863 (+ 0.0000)
(4000,2432): 0.000249863 (+ 0.0000)
(4000,2433): 0.000249863 (+ 0.0000)
(4000,3094): 0.000249863 (+ 0.0000)
(4000,3095): 0.000249863 (+ 0.0000)
(4000,756): 0.000249863 (+ 0.0000)
(4000,757): 0.000249863 (+ 0.0000)
(4000,1283): 0.000249863 (+ 0.0000)
(4000,1282): 0.000249863 (+ 0.0000)
(4000,2973): 0.000249863 (+ 0.0000)
(4000,2972): 0.000249863 (+ 0.0000)
(4000,477): 0.000249863 (+ 0.0000)
(4000,476): 0.000249863 (+ 0.0000)
(4000,2109): 0.000249863 (+ 0.0000)
(4000,2647): 0.000249863 (+ 0.0000)
(4000,2646): 0.000249863 (+ 0.0000)
(4000,3992): 0.000249863 (+ 0.0000)
(4000,3941): 0.000249863 (+ 0.0000)
(4000,3940): 0.000249863 (+ 0.0000)
(4000,1050): 0.000249863 (+ 0.0000)
(4000,2962): 0.000249863 (+ 0.0000)
(4000,2710): 0.000249863 (+ 0.0000)
(4000,2711): 0.000249863 (+ 0.0000)
(4000,137): 0.000249863 (+ 0.0000)
(4000,136): 0.000249863 (+ 0.0000)
(4000,3498): 0.000249863 (+ 0.0000)
(4000,3499): 0.000249863 (+ 0.0000)
(4000,619): 0.000249863 (+ 0.0000)
(4000,3380): 0.000249863 (+ 0.0000)
(4000,3381): 0.000249863 (+ 0.0000)
(4000,3817): 0.000249863 (+ 0.0000)
(4000,3816): 0.000249863 (+ 0.0000)
(4000,438): 0.000249863 (+ 0.0000)
(4000,439): 0.000249863 (+ 0.0000)
(4000,755): 0.000249863 (+ 0.0000)
(4000,3301): 0.000249863 (+ 0.0000)
(4000,2601): 0.000249863 (+ 0.0000)
(4000,805): 0.000249863 (+ 0.0000)
(4000,804): 0.000249863 (+ 0.0000)
(4000,1520): 0.000249863 (+ 0.0000)
(4000,1521): 0.000249863 (+ 0.0000)
(4000,2375): 0.000249863 (+ 0.0000)
(4000,2374): 0.000249863 (+ 0.0000)
(4000,2207): 0.000249863 (+ 0.0000)
(4000,184): 0.000249863 (+ 0.0000)
(4000,2976): 0.000249863 (+ 0.0000)
(4000,2977): 0.000249863 (+ 0.0000)
(4000,3952): 0.000249863 (+ 0.0000)
(4000,625): 0.000249863 (+ 0.0000)
(4000,624): 0.000249863 (+ 0.0000)
(4000,601): 0.000249863 (+ 0.0000)
(4000,600): 0.000249863 (+ 0.0000)
(4000,766): 0.000249863 (+ 0.0000)
(4000,777): 0.000249863 (+ 0.0000)
(4000,776): 0.000249863 (+ 0.0000)
(4000,2427): 0.000249863 (+ 0.0000)
(4000,2426): 0.000249863 (+ 0.0000)
(4000,3697): 0.000249863 (+ 0.0000)
(4000,1737): 0.000249863 (+ 0.0000)
(4000,1736): 0.000249863 (+ 0.0000)
(4000,2091): 0.000249863 (+ 0.0000)
(4000,2090): 0.000249863 (+ 0.0000)
(4000,3624): 0.000249863 (+ 0.0000)
(4000,3972): 0.000249863 (+ 0.0000)
(4000,3973): 0.000249863 (+ 0.0000)
(4000,260): 0.000249863 (+ 0.0000)
(4000,261): 0.000249863 (+ 0.0000)
(4000,3710): 0.000249863 (+ 0.0000)
(4000,3711): 0.000249863 (+ 0.0000)
(4000,2678): 0.000249863 (+ 0.0000)
(4000,1495): 0.000249863 (+ 0.0000)
(4000,1494): 0.000249863 (+ 0.0000)
(4000,2865): 0.000249863 (+ 0.0000)
(4000,2864): 0.000249863 (+ 0.0000)
(4000,2471): 0.000249863 (+ 0.0000)
(4000,2470): 0.000249863 (+ 0.0000)
(4000,3173): 0.000249863 (+ 0.0000)
(4000,86): 0.000249863 (+ 0.0000)
(4000,2348): 0.000249863 (+ 0.0000)
(4000,2349): 0.000249863 (+ 0.0000)
(4000,1958): 0.000249863 (+ 0.0000)
(4000,1959): 0.000249863 (+ 0.0000)
(4000,40): 0.000249863 (+ 0.0000)
(4000,41): 0.000249863 (+ 0.0000)
(4000,1143): 0.000249863 (+ 0.0000)
(4000,1380): 0.000249863 (+ 0.0000)
(4000,1381): 0.000249863 (+ 0.0000)
(4000,460): 0.000249863 (+ 0.0000)
(4000,461): 0.000249863 (+ 0.0000)
(4000,3130): 0.000249863 (+ 0.0000)
(4000,1140): 0.000249863 (+ 0.0000)
(4000,3144): 0.000249863 (+ 0.0000)
(4000,3145): 0.000249863 (+ 0.0000)
(4000,511): 0.000249863 (+ 0.0000)
(4000,510): 0.000249863 (+ 0.0000)
(4000,3566): 0.000249863 (+ 0.0000)
(4000,3567): 0.000249863 (+ 0.0000)
(4000,2110): 0.000249863 (+ 0.0000)
(4000,2111): 0.000249863 (+ 0.0000)
(4000,1428): 0.000249863 (+ 0.0000)
(4000,1429): 0.000249863 (+ 0.0000)
(4000,3849): 0.000249863 (+ 0.0000)
(4000,3733): 0.000249863 (+ 0.0000)
(4000,3732): 0.000249863 (+ 0.0000)
(4000,1467): 0.000249863 (+ 0.0000)
(4000,1466): 0.000249863 (+ 0.0000)
(4000,746): 0.000249863 (+ 0.0000)
(4000,747): 0.000249863 (+ 0.0000)
(4000,2001): 0.000249863 (+ 0.0000)
(4000,233): 0.000249863 (+ 0.0000)
(4000,232): 0.000249863 (+ 0.0000)
(4000,1763): 0.000249863 (+ 0.0000)
(4000,1762): 0.000249863 (+ 0.0000)
(4000,1242): 0.000249863 (+ 0.0000)
(4000,412): 0.000249863 (+ 0.0000)
(4000,413): 0.000249863 (+ 0.0000)
(4000,997): 0.000249863 (+ 0.0000)
(4000,996): 0.000249863 (+ 0.0000)
(4000,270): 0.000249863 (+ 0.0000)
(4000,271): 0.000249863 (+ 0.0000)
(4000,1327): 0.000249863 (+ 0.0000)
(4000,2645): 0.000249863 (+ 0.0000)
(4000,2644): 0.000249863 (+ 0.0000)
(4000,372): 0.000249863 (+ 0.0000)
(4000,1601): 0.000249863 (+ 0.0000)
(4000,898): 0.000249863 (+ 0.0000)
(4000,1239): 0.000249863 (+ 0.0000)
(4000,1618): 0.000249863 (+ 0.0000)
(4000,3826): 0.000249863 (+ 0.0000)
(4000,3827): 0.000249863 (+ 0.0000)
(4000,1663): 0.000249863 (+ 0.0000)
(4000,3904): 0.000249863 (+ 0.0000)
(4000,973): 0.000249863 (+ 0.0000)
(4000,533): 0.000249863 (+ 0.0000)
(4000,2078): 0.000249863 (+ 0.0000)
(4000,3537): 0.000249863 (+ 0.0000)
(4000,3536): 0.000249863 (+ 0.0000)
(4000,1065): 0.000249863 (+ 0.0000)
(4000,1064): 0.000249863 (+ 0.0000)
(4000,1629): 0.000249863 (+ 0.0000)
(4000,1628): 0.000249863 (+ 0.0000)
(4000,588): 0.000249863 (+ 0.0000)
(4000,267): 0.000249863 (+ 0.0000)
(4000,266): 0.000249863 (+ 0.0000)
(4000,3215): 0.000249863 (+ 0.0000)
(4000,133): 0.000249863 (+ 0.0000)
(4000,2256): 0.000249863 (+ 0.0000)
(4000,1766): 0.000249863 (+ 0.0000)
(4000,1767): 0.000249863 (+ 0.0000)
(4000,21): 0.000249863 (+ 0.0000)
(4000,20): 0.000249863 (+ 0.0000)
(4000,1227): 0.000249863 (+ 0.0000)
(4000,2244): 0.000249863 (+ 0.0000)
(4000,2245): 0.000249863 (+ 0.0000)
(4000,1789): 0.000249863 (+ 0.0000)
(4000,1788): 0.000249863 (+ 0.0000)
(4000,1312): 0.000249863 (+ 0.0000)
(4000,1313): 0.000249863 (+ 0.0000)
(4000,3879): 0.000249863 (+ 0.0000)
(4000,1937): 0.000249863 (+ 0.0000)
(4000,3713): 0.000249863 (+ 0.0000)
(4000,3712): 0.000249863 (+ 0.0000)
(4000,3120): 0.000249863 (+ 0.0000)
(4000,3121): 0.000249863 (+ 0.0000)
(4000,3596): 0.000249863 (+ 0.0000)
(4000,63): 0.000249863 (+ 0.0000)
(4000,62): 0.000249863 (+ 0.0000)
(4000,3200): 0.000249863 (+ 0.0000)
(4000,2138): 0.000249863 (+ 0.0000)
(4000,2139): 0.000249863 (+ 0.0000)
(4000,3002): 0.000249863 (+ 0.0000)
(4000,3003): 0.000249863 (+ 0.0000)
(4000,3396): 0.000249863 (+ 0.0000)
(4000,3397): 0.000249863 (+ 0.0000)
(4000,2700): 0.000249863 (+ 0.0000)
(4000,2701): 0.000249863 (+ 0.0000)
(4000,89): 0.000249863 (+ 0.0000)
(4000,88): 0.000249863 (+ 0.0000)
(4000,1957): 0.000249863 (+ 0.0000)
(4000,1956): 0.000249863 (+ 0.0000)
(4000,123): 0.000249863 (+ 0.0000)
(4000,1933): 0.000249863 (+ 0.0000)
(4000,1932): 0.000249863 (+ 0.0000)
(4000,2396): 0.000249863 (+ 0.0000)
(4000,2397): 0.000249863 (+ 0.0000)
(4000,3387): 0.000249863 (+ 0.0000)
(4000,3386): 0.000249863 (+ 0.0000)
(4000,2378): 0.000249863 (+ 0.0000)
(4000,2379): 0.000249863 (+ 0.0000)
(4000,304): 0.000249863 (+ 0.0000)
(4000,305): 0.000249863 (+ 0.0000)
(4000,31): 0.000249863 (+ 0.0000)
(4000,30): 0.000249863 (+ 0.0000)
(4000,3240): 0.000249863 (+ 0.0000)
(4000,3241): 0.000249863 (+ 0.0000)
(4000,3842): 0.000249863 (+ 0.0000)
(4000,881): 0.000249863 (+ 0.0000)
(4000,880): 0.000249863 (+ 0.0000)
(4000,1960): 0.000249863 (+ 0.0000)
(4000,1961): 0.000249863 (+ 0.0000)
(4000,3338): 0.000249863 (+ 0.0000)
(4000,2833): 0.000249863 (+ 0.0000)
(4000,2412): 0.000249863 (+ 0.0000)
(4000,2413): 0.000249863 (+ 0.0000)
(4000,1219): 0.000249863 (+ 0.0000)
(4000,2698): 0.000249863 (+ 0.0000)
(4000,2699): 0.000249863 (+ 0.0000)
(4000,2298): 0.000249863 (+ 0.0000)
(4000,2986): 0.000249863 (+ 0.0000)
(4000,2987): 0.000249863 (+ 0.0000)
(4000,2405): 0.000249863 (+ 0.0000)
(4000,1086): 0.000249863 (+ 0.0000)
(4000,1087): 0.000249863 (+ 0.0000)
(4000,3108): 0.000249863 (+ 0.0000)
(4000,2435): 0.000249863 (+ 0.0000)
(4000,798): 0.000249863 (+ 0.0000)
(4000,799): 0.000249863 (+ 0.0000)
(4000,1182): 0.000249863 (+ 0.0000)
(4000,2908): 0.000249863 (+ 0.0000)
(4000,2909): 0.000249863 (+ 0.0000)
(4000,1420): 0.000249863 (+ 0.0000)
(4000,1421): 0.000249863 (+ 0.0000)
(4000,564): 0.000249863 (+ 0.0000)
(4000,565): 0.000249863 (+ 0.0000)
(4000,1367): 0.000249863 (+ 0.0000)
(4000,1366): 0.000249863 (+ 0.0000)
(4000,2354): 0.000249863 (+ 0.0000)
(4000,1322): 0.000249863 (+ 0.0000)
(4000,1323): 0.000249863 (+ 0.0000)
(4000,324): 0.000249863 (+ 0.0000)
(4000,147): 0.000249863 (+ 0.0000)
(4000,146): 0.000249863 (+ 0.0000)
(4000,2788): 0.000249863 (+ 0.0000)
(4000,376): 0.000249863 (+ 0.0000)
(4000,377): 0.000249863 (+ 0.0000)
(4000,1470): 0.000249863 (+ 0.0000)
(4000,541): 0.000249863 (+ 0.0000)
(4000,540): 0.000249863 (+ 0.0000)
(4000,905): 0.000249863 (+ 0.0000)
(4000,904): 0.000249863 (+ 0.0000)
(4000,3726): 0.000249863 (+ 0.0000)
(4000,530): 0.000249863 (+ 0.0000)
(4000,531): 0.000249863 (+ 0.0000)
(4000,520): 0.000249863 (+ 0.0000)
(4000,521): 0.000249863 (+ 0.0000)
(4000,1569): 0.000249863 (+ 0.0000)
(4000,3660): 0.000249863 (+ 0.0000)
(4000,3661): 0.000249863 (+ 0.0000)
(4000,968): 0.000249863 (+ 0.0000)
(4000,969): 0.000249863 (+ 0.0000)
(4000,1113): 0.000249863 (+ 0.0000)
(4000,1112): 0.000249863 (+ 0.0000)
(4000,2420): 0.000249863 (+ 0.0000)
(4000,2421): 0.000249863 (+ 0.0000)
(4000,921): 0.000249863 (+ 0.0000)
(4000,920): 0.000249863 (+ 0.0000)
(4000,722): 0.000249863 (+ 0.0000)
(4000,723): 0.000249863 (+ 0.0000)
(4000,1402): 0.000249863 (+ 0.0000)
(4000,906): 0.000249863 (+ 0.0000)
(4000,907): 0.000249863 (+ 0.0000)
(4000,2639): 0.000249863 (+ 0.0000)
(4000,2638): 0.000249863 (+ 0.0000)
(4000,3573): 0.000249863 (+ 0.0000)
(4000,3572): 0.000249863 (+ 0.0000)
(4000,3756): 0.000249863 (+ 0.0000)
(4000,1826): 0.000249863 (+ 0.0000)
(4000,1827): 0.000249863 (+ 0.0000)
(4000,3028): 0.000249863 (+ 0.0000)
(4000,241): 0.000249863 (+ 0.0000)
(4000,240): 0.000249863 (+ 0.0000)
(4000,1336): 0.000249863 (+ 0.0000)
(4000,3769): 0.000249863 (+ 0.0000)
(4000,2730): 0.000249863 (+ 0.0000)
(4000,1100): 0.000249863 (+ 0.0000)
(4000,1101): 0.000249863 (+ 0.0000)
(4000,3448): 0.000249863 (+ 0.0000)
(4000,3449): 0.000249863 (+ 0.0000)
(4000,721): 0.000249863 (+ 0.0000)
(4000,645): 0.000249863 (+ 0.0000)
(4000,644): 0.000249863 (+ 0.0000)
(4000,1866): 0.000249863 (+ 0.0000)
(4000,1867): 0.000249863 (+ 0.0000)
(4000,3825): 0.000249863 (+ 0.0000)
(4000,3671): 0.000249863 (+ 0.0000)
(4000,3228): 0.000249863 (+ 0.0000)
(4000,3194): 0.000249863 (+ 0.0000)
(4000,2204): 0.000249863 (+ 0.0000)
(4000,2309): 0.000249863 (+ 0.0000)
(4000,2308): 0.000249863 (+ 0.0000)
(4000,3405): 0.000249863 (+ 0.0000)
(4000,3404): 0.000249863 (+ 0.0000)
(4000,278): 0.000249863 (+ 0.0000)
(4000,279): 0.000249863 (+ 0.0000)
(4000,2422): 0.000249863 (+ 0.0000)
(4000,2423): 0.000249863 (+ 0.0000)
(4000,356): 0.000249863 (+ 0.0000)
(4000,2226): 0.000249863 (+ 0.0000)
(4000,1608): 0.000249863 (+ 0.0000)
(4000,1609): 0.000249863 (+ 0.0000)
(4000,2081): 0.000249863 (+ 0.0000)
(4000,2080): 0.000249863 (+ 0.0000)
(4000,2456): 0.000249863 (+ 0.0000)
(4000,2457): 0.000249863 (+ 0.0000)
(4000,1146): 0.000249863 (+ 0.0000)
(4000,2117): 0.000249863 (+ 0.0000)
(4000,2116): 0.000249863 (+ 0.0000)
(4000,1341): 0.000249863 (+ 0.0000)
(4000,1340): 0.000249863 (+ 0.0000)
(4000,1201): 0.000249863 (+ 0.0000)
(4000,1200): 0.000249863 (+ 0.0000)
(4000,218): 0.000249863 (+ 0.0000)
(4000,3463): 0.000249863 (+ 0.0000)
(4000,3462): 0.000249863 (+ 0.0000)
(4000,848): 0.000249863 (+ 0.0000)
(4000,514): 0.000249863 (+ 0.0000)
(4000,515): 0.000249863 (+ 0.0000)
(4000,3167): 0.000249863 (+ 0.0000)
(4000,3166): 0.000249863 (+ 0.0000)
(4000,3039): 0.000249863 (+ 0.0000)
(4000,2414): 0.000249863 (+ 0.0000)
(4000,3676): 0.000249863 (+ 0.0000)
(4000,3677): 0.000249863 (+ 0.0000)
(4000,1231): 0.000249863 (+ 0.0000)
(4000,1230): 0.000249863 (+ 0.0000)
(4000,3391): 0.000249863 (+ 0.0000)
(4000,3445): 0.000249863 (+ 0.0000)
(4000,3444): 0.000249863 (+ 0.0000)
(4000,2768): 0.000249863 (+ 0.0000)
(4000,2791): 0.000249863 (+ 0.0000)
(4000,3361): 0.000249863 (+ 0.0000)
(4000,3360): 0.000249863 (+ 0.0000)
(4000,2689): 0.000249863 (+ 0.0000)
(4000,2688): 0.000249863 (+ 0.0000)
(4000,1342): 0.000249863 (+ 0.0000)
(4000,872): 0.000249863 (+ 0.0000)
(4000,152): 0.000249863 (+ 0.0000)
(4000,153): 0.000249863 (+ 0.0000)
(4000,2380): 0.000249863 (+ 0.0000)
(4000,2381): 0.000249863 (+ 0.0000)
(4000,3312): 0.000249863 (+ 0.0000)
(4000,3313): 0.000249863 (+ 0.0000)
(4000,1005): 0.000249863 (+ 0.0000)
(4000,1004): 0.000249863 (+ 0.0000)
(4000,577): 0.000249863 (+ 0.0000)
(4000,576): 0.000249863 (+ 0.0000)
(4000,151): 0.000249863 (+ 0.0000)
(4000,3749): 0.000249863 (+ 0.0000)
(4000,3748): 0.000249863 (+ 0.0000)
(4000,2481): 0.000249863 (+ 0.0000)
(4000,1108): 0.000249863 (+ 0.0000)
(4000,1109): 0.000249863 (+ 0.0000)
(4000,13): 0.000249863 (+ 0.0000)
(4000,12): 0.000249863 (+ 0.0000)
(4000,1493): 0.000249863 (+ 0.0000)
(4000,1492): 0.000249863 (+ 0.0000)
(4000,1537): 0.000249863 (+ 0.0000)
(4000,1536): 0.000249863 (+ 0.0000)
(4000,3271): 0.000249863 (+ 0.0000)
(4000,425): 0.000249863 (+ 0.0000)
(4000,1848): 0.000249863 (+ 0.0000)
(4000,1849): 0.000249863 (+ 0.0000)
(4000,1401): 0.000249863 (+ 0.0000)
(4000,1400): 0.000249863 (+ 0.0000)
(4000,945): 0.000249863 (+ 0.0000)
(4000,2347): 0.000249863 (+ 0.0000)
(4000,3912): 0.000249863 (+ 0.0000)
(4000,3913): 0.000249863 (+ 0.0000)
(4000,192): 0.000249863 (+ 0.0000)
(4000,193): 0.000249863 (+ 0.0000)
(4000,3840): 0.000249863 (+ 0.0000)
(4000,2487): 0.000249863 (+ 0.0000)
(4000,2486): 0.000249863 (+ 0.0000)
(4000,35): 0.000249863 (+ 0.0000)
(4000,1388): 0.000249863 (+ 0.0000)
(4000,1389): 0.000249863 (+ 0.0000)
(4000,2076): 0.000249863 (+ 0.0000)
(4000,2077): 0.000249863 (+ 0.0000)
(4000,1934): 0.000249863 (+ 0.0000)
(4000,1299): 0.000249863 (+ 0.0000)
(4000,1298): 0.000249863 (+ 0.0000)
(4000,1869): 0.000249863 (+ 0.0000)
(4000,2265): 0.000249863 (+ 0.0000)
(4000,2941): 0.000249863 (+ 0.0000)
(4000,2940): 0.000249863 (+ 0.0000)
(4000,2536): 0.000249863 (+ 0.0000)
(4000,911): 0.000249863 (+ 0.0000)
(4000,910): 0.000249863 (+ 0.0000)
(4000,507): 0.000249863 (+ 0.0000)
(4000,2196): 0.000249863 (+ 0.0000)
(4000,923): 0.000249863 (+ 0.0000)
(4000,2807): 0.000249863 (+ 0.0000)
(4000,2466): 0.000249863 (+ 0.0000)
(4000,2467): 0.000249863 (+ 0.0000)
(4000,1603): 0.000249863 (+ 0.0000)
(4000,452): 0.000249863 (+ 0.0000)
(4000,453): 0.000249863 (+ 0.0000)
(4000,2403): 0.000249863 (+ 0.0000)
(4000,2402): 0.000249863 (+ 0.0000)
(4000,1165): 0.000249863 (+ 0.0000)
(4000,1164): 0.000249863 (+ 0.0000)
(4000,416): 0.000249863 (+ 0.0000)
(4000,3422): 0.000249863 (+ 0.0000)
(4000,3423): 0.000249863 (+ 0.0000)
(4000,1941): 0.000249863 (+ 0.0000)
(4000,1940): 0.000249863 (+ 0.0000)
(4000,3685): 0.000249863 (+ 0.0000)
(4000,129): 0.000249863 (+ 0.0000)
(4000,128): 0.000249863 (+ 0.0000)
(4000,3699): 0.000249863 (+ 0.0000)
(4000,3698): 0.000249863 (+ 0.0000)
(4000,3103): 0.000249863 (+ 0.0000)
(4000,1122): 0.000249863 (+ 0.0000)
(4000,309): 0.000249863 (+ 0.0000)
(4000,308): 0.000249863 (+ 0.0000)
(4000,1288): 0.000249863 (+ 0.0000)
(4000,1289): 0.000249863 (+ 0.0000)
(4000,3007): 0.000249863 (+ 0.0000)
(4000,3006): 0.000249863 (+ 0.0000)
(4000,3693): 0.000249863 (+ 0.0000)
(4000,1162): 0.000249863 (+ 0.0000)
(4000,1163): 0.000249863 (+ 0.0000)
(4000,671): 0.000249863 (+ 0.0000)
(4000,2944): 0.000249863 (+ 0.0000)
(4000,2945): 0.000249863 (+ 0.0000)
(4000,1385): 0.000249863 (+ 0.0000)
(4000,981): 0.000249863 (+ 0.0000)
(4000,980): 0.000249863 (+ 0.0000)
(4000,2241): 0.000249863 (+ 0.0000)
(4000,856): 0.000249863 (+ 0.0000)
(4000,857): 0.000249863 (+ 0.0000)
(4000,3483): 0.000249863 (+ 0.0000)
(4000,1999): 0.000249863 (+ 0.0000)
(4000,1998): 0.000249863 (+ 0.0000)
(4000,2633): 0.000249863 (+ 0.0000)
(4000,3031): 0.000249863 (+ 0.0000)
(4000,3030): 0.000249863 (+ 0.0000)
(4000,1560): 0.000249863 (+ 0.0000)
(4000,990): 0.000249863 (+ 0.0000)
(4000,991): 0.000249863 (+ 0.0000)
(4000,2361): 0.000249863 (+ 0.0000)
(4000,1060): 0.000249863 (+ 0.0000)
(4000,1061): 0.000249863 (+ 0.0000)
(4000,17): 0.000249863 (+ 0.0000)
(4000,3066): 0.000249863 (+ 0.0000)
(4000,3141): 0.000249863 (+ 0.0000)
(4000,3140): 0.000249863 (+ 0.0000)
(4000,3673): 0.000249863 (+ 0.0000)
(4000,3672): 0.000249863 (+ 0.0000)
(4000,475): 0.000249863 (+ 0.0000)
(4000,474): 0.000249863 (+ 0.0000)
(4000,2631): 0.000249863 (+ 0.0000)
(4000,2630): 0.000249863 (+ 0.0000)
(4000,3135): 0.000249863 (+ 0.0000)
(4000,2592): 0.000249863 (+ 0.0000)
(4000,2593): 0.000249863 (+ 0.0000)
(4000,2039): 0.000249863 (+ 0.0000)
(4000,2038): 0.000249863 (+ 0.0000)
(4000,3765): 0.000249863 (+ 0.0000)
(4000,3764): 0.000249863 (+ 0.0000)
(4000,3288): 0.000249863 (+ 0.0000)
(4000,3289): 0.000249863 (+ 0.0000)
(4000,2757): 0.000249863 (+ 0.0000)
(4000,2756): 0.000249863 (+ 0.0000)
(4000,208): 0.000249863 (+ 0.0000)
(4000,3246): 0.000249863 (+ 0.0000)
(4000,3247): 0.000249863 (+ 0.0000)
(4000,2648): 0.000249863 (+ 0.0000)
(4000,2649): 0.000249863 (+ 0.0000)
(4000,1266): 0.000249863 (+ 0.0000)
(4000,2072): 0.000249863 (+ 0.0000)
(4000,2209): 0.000249863 (+ 0.0000)
(4000,2208): 0.000249863 (+ 0.0000)
(4000,2918): 0.000249863 (+ 0.0000)
(4000,2919): 0.000249863 (+ 0.0000)
(4000,3938): 0.000249863 (+ 0.0000)
(4000,394): 0.000249863 (+ 0.0000)
(4000,395): 0.000249863 (+ 0.0000)
(4000,2556): 0.000249863 (+ 0.0000)
(4000,2557): 0.000249863 (+ 0.0000)
(4000,1765): 0.000249863 (+ 0.0000)
(4000,847): 0.000249863 (+ 0.0000)
(4000,1727): 0.000249863 (+ 0.0000)
(4000,1726): 0.000249863 (+ 0.0000)
(4000,1989): 0.000249863 (+ 0.0000)
(4000,1988): 0.000249863 (+ 0.0000)
(4000,2750): 0.000249863 (+ 0.0000)
(4000,3299): 0.000249863 (+ 0.0000)
(4000,2037): 0.000249863 (+ 0.0000)
(4000,27): 0.000249863 (+ 0.0000)
(4000,242): 0.000249863 (+ 0.0000)
(4000,243): 0.000249863 (+ 0.0000)
(4000,454): 0.000249863 (+ 0.0000)
(4000,455): 0.000249863 (+ 0.0000)
(4000,1773): 0.000249863 (+ 0.0000)
(4000,1772): 0.000249863 (+ 0.0000)
(4000,3319): 0.000249863 (+ 0.0000)
(4000,2815): 0.000249863 (+ 0.0000)
(4000,2814): 0.000249863 (+ 0.0000)
(4000,1187): 0.000249863 (+ 0.0000)
(4000,884): 0.000249863 (+ 0.0000)
(4000,885): 0.000249863 (+ 0.0000)
(4000,810): 0.000249863 (+ 0.0000)
(4000,3569): 0.000249863 (+ 0.0000)
(4000,407): 0.000249863 (+ 0.0000)
(4000,406): 0.000249863 (+ 0.0000)
(4000,1779): 0.000249863 (+ 0.0000)
(4000,1778): 0.000249863 (+ 0.0000)
(4000,1136): 0.000249863 (+ 0.0000)
(4000,974): 0.000249863 (+ 0.0000)
(4000,975): 0.000249863 (+ 0.0000)
(4000,1946): 0.000249863 (+ 0.0000)
(4000,57): 0.000249863 (+ 0.0000)
(4000,56): 0.000249863 (+ 0.0000)
(4000,3085): 0.000249863 (+ 0.0000)
(4000,3084): 0.000249863 (+ 0.0000)
(4000,651): 0.000249863 (+ 0.0000)
(4000,650): 0.000249863 (+ 0.0000)
(4000,1901): 0.000249863 (+ 0.0000)
(4000,3279): 0.000249863 (+ 0.0000)
(4000,3278): 0.000249863 (+ 0.0000)
(4000,738): 0.000249863 (+ 0.0000)
(4000,782): 0.000249863 (+ 0.0000)
(4000,783): 0.000249863 (+ 0.0000)
(4000,1419): 0.000249863 (+ 0.0000)
(4000,1418): 0.000249863 (+ 0.0000)
(4000,711): 0.000249863 (+ 0.0000)
(4000,3388): 0.000249863 (+ 0.0000)
(4000,3922): 0.000249863 (+ 0.0000)
(4000,2959): 0.000249863 (+ 0.0000)
(4000,2958): 0.000249863 (+ 0.0000)
(4000,504): 0.000249863 (+ 0.0000)
(4000,3164): 0.000249863 (+ 0.0000)
(4000,3165): 0.000249863 (+ 0.0000)
(4000,1964): 0.000249863 (+ 0.0000)
(4000,876): 0.000249863 (+ 0.0000)
(4000,877): 0.000249863 (+ 0.0000)
(4000,1194): 0.000249863 (+ 0.0000)
(4000,1195): 0.000249863 (+ 0.0000)
(4000,1139): 0.000249863 (+ 0.0000)
(4000,1138): 0.000249863 (+ 0.0000)
(4000,3262): 0.000249863 (+ 0.0000)
(4000,3251): 0.000249863 (+ 0.0000)
(4000,3250): 0.000249863 (+ 0.0000)
(4000,168): 0.000249863 (+ 0.0000)
(4000,169): 0.000249863 (+ 0.0000)
(4000,3789): 0.000249863 (+ 0.0000)
(4000,3788): 0.000249863 (+ 0.0000)
(4000,2098): 0.000249863 (+ 0.0000)
(4000,2143): 0.000249863 (+ 0.0000)
(4000,2142): 0.000249863 (+ 0.0000)
(4000,1808): 0.000249863 (+ 0.0000)
(4000,1809): 0.000249863 (+ 0.0000)
(4000,708): 0.000249863 (+ 0.0000)
(4000,709): 0.000249863 (+ 0.0000)
(4000,2513): 0.000249863 (+ 0.0000)
(4000,2512): 0.000249863 (+ 0.0000)
(4000,3035): 0.000249863 (+ 0.0000)
(4000,3034): 0.000249863 (+ 0.0000)
(4000,3639): 0.000249863 (+ 0.0000)
(4000,3638): 0.000249863 (+ 0.0000)
(4000,745): 0.000249863 (+ 0.0000)
(4000,744): 0.000249863 (+ 0.0000)
(4000,2540): 0.000249863 (+ 0.0000)
(4000,2541): 0.000249863 (+ 0.0000)
(4000,381): 0.000249863 (+ 0.0000)
(4000,1427): 0.000249863 (+ 0.0000)
(4000,1426): 0.000249863 (+ 0.0000)
(4000,2583): 0.000249863 (+ 0.0000)
(4000,3540): 0.000249863 (+ 0.0000)
(4000,3541): 0.000249863 (+ 0.0000)
(4000,292): 0.000249863 (+ 0.0000)
(4000,293): 0.000249863 (+ 0.0000)
(4000,249): 0.000249863 (+ 0.0000)
(4000,248): 0.000249863 (+ 0.0000)
(4000,2490): 0.000249863 (+ 0.0000)
(4000,2491): 0.000249863 (+ 0.0000)
(4000,2563): 0.000249863 (+ 0.0000)
(4000,2562): 0.000249863 (+ 0.0000)
(4000,3860): 0.000249863 (+ 0.0000)
(4000,3861): 0.000249863 (+ 0.0000)
(4000,282): 0.000249863 (+ 0.0000)
(4000,333): 0.000249863 (+ 0.0000)
(4000,687): 0.000249863 (+ 0.0000)
(4000,622): 0.000249863 (+ 0.0000)
(4000,623): 0.000249863 (+ 0.0000)
(4000,3665): 0.000249863 (+ 0.0000)
(4000,2590): 0.000249863 (+ 0.0000)
(4000,2591): 0.000249863 (+ 0.0000)
(4000,3276): 0.000249863 (+ 0.0000)
(4000,1173): 0.000249863 (+ 0.0000)
(4000,1172): 0.000249863 (+ 0.0000)
(4000,3259): 0.000249863 (+ 0.0000)
(4000,3258): 0.000249863 (+ 0.0000)
(4000,1207): 0.000249863 (+ 0.0000)
(4000,1206): 0.000249863 (+ 0.0000)
(4000,160): 0.000249863 (+ 0.0000)
(4000,161): 0.000249863 (+ 0.0000)
(4000,2607): 0.000249863 (+ 0.0000)
(4000,3469): 0.000249863 (+ 0.0000)
(4000,3468): 0.000249863 (+ 0.0000)
(4000,1690): 0.000249863 (+ 0.0000)
(4000,1691): 0.000249863 (+ 0.0000)
(4000,2141): 0.000249863 (+ 0.0000)
(4000,2140): 0.000249863 (+ 0.0000)
(4000,2136): 0.000249863 (+ 0.0000)
(4000,2137): 0.000249863 (+ 0.0000)
(4000,81): 0.000249863 (+ 0.0000)
(4000,2792): 0.000249863 (+ 0.0000)
(4000,2793): 0.000249863 (+ 0.0000)
(4000,3343): 0.000249863 (+ 0.0000)
(4000,3342): 0.000249863 (+ 0.0000)
(4000,2993): 0.000249863 (+ 0.0000)
(4000,2992): 0.000249863 (+ 0.0000)
(4000,54): 0.000249863 (+ 0.0000)
(4000,2018): 0.000249863 (+ 0.0000)
(4000,2498): 0.000249863 (+ 0.0000)
(4000,2419): 0.000249863 (+ 0.0000)
(4000,2813): 0.000249863 (+ 0.0000)
(4000,2812): 0.000249863 (+ 0.0000)
(4000,3395): 0.000249863 (+ 0.0000)
(4000,3394): 0.000249863 (+ 0.0000)
(4000,3728): 0.000249863 (+ 0.0000)
(4000,2488): 0.000249863 (+ 0.0000)
(4000,3954): 0.000249863 (+ 0.0000)
(4000,3955): 0.000249863 (+ 0.0000)
(4000,2705): 0.000249863 (+ 0.0000)
(4000,2704): 0.000249863 (+ 0.0000)
(4000,1847): 0.000249863 (+ 0.0000)
(4000,1846): 0.000249863 (+ 0.0000)
(4000,509): 0.000249863 (+ 0.0000)
(4000,508): 0.000249863 (+ 0.0000)
(4000,1010): 0.000249863 (+ 0.0000)
(4000,1011): 0.000249863 (+ 0.0000)
(4000,276): 0.000249863 (+ 0.0000)
(4000,277): 0.000249863 (+ 0.0000)
(4000,3185): 0.000249863 (+ 0.0000)
(4000,3184): 0.000249863 (+ 0.0000)
(4000,345): 0.000249863 (+ 0.0000)
(4000,3755): 0.000249863 (+ 0.0000)
(4000,3754): 0.000249863 (+ 0.0000)
(4000,1169): 0.000249863 (+ 0.0000)
(4000,3047): 0.000249863 (+ 0.0000)
(4000,2726): 0.000249863 (+ 0.0000)
(4000,2727): 0.000249863 (+ 0.0000)
(4000,3128): 0.000249863 (+ 0.0000)
(4000,3129): 0.000249863 (+ 0.0000)
(4000,970): 0.000249863 (+ 0.0000)
(4000,1071): 0.000249863 (+ 0.0000)
(4000,1070): 0.000249863 (+ 0.0000)
(4000,2126): 0.000249863 (+ 0.0000)
(4000,2127): 0.000249863 (+ 0.0000)
(4000,1473): 0.000249863 (+ 0.0000)
(4000,1291): 0.000249863 (+ 0.0000)
(4000,1290): 0.000249863 (+ 0.0000)
(4000,1224): 0.000249863 (+ 0.0000)
(4000,3119): 0.000249863 (+ 0.0000)
(4000,3118): 0.000249863 (+ 0.0000)
(4000,1588): 0.000249863 (+ 0.0000)
(4000,2477): 0.000249863 (+ 0.0000)
(4000,280): 0.000249863 (+ 0.0000)
(4000,2869): 0.000249863 (+ 0.0000)
(4000,3503): 0.000249863 (+ 0.0000)
(4000,3502): 0.000249863 (+ 0.0000)
(4000,1680): 0.000249863 (+ 0.0000)
(4000,1681): 0.000249863 (+ 0.0000)
(4000,1760): 0.000249863 (+ 0.0000)
(4000,2395): 0.000249863 (+ 0.0000)
(4000,2394): 0.000249863 (+ 0.0000)
(4000,1441): 0.000249863 (+ 0.0000)
(4000,2351): 0.000249863 (+ 0.0000)
(4000,2350): 0.000249863 (+ 0.0000)
(4000,2878): 0.000249863 (+ 0.0000)
(4000,1433): 0.000249863 (+ 0.0000)
(4000,1432): 0.000249863 (+ 0.0000)
(4000,486): 0.000249863 (+ 0.0000)
(4000,487): 0.000249863 (+ 0.0000)
(4000,3920): 0.000249863 (+ 0.0000)
(4000,3921): 0.000249863 (+ 0.0000)
(4000,2331): 0.000249863 (+ 0.0000)
(4000,1774): 0.000249863 (+ 0.0000)
(4000,1775): 0.000249863 (+ 0.0000)
(4000,3575): 0.000249863 (+ 0.0000)
(4000,3041): 0.000249863 (+ 0.0000)
(4000,1524): 0.000249863 (+ 0.0000)
(4000,1525): 0.000249863 (+ 0.0000)
(4000,3328): 0.000249863 (+ 0.0000)
(4000,2191): 0.000249863 (+ 0.0000)
(4000,1554): 0.000249863 (+ 0.0000)
(4000,1555): 0.000249863 (+ 0.0000)
(4000,1527): 0.000249863 (+ 0.0000)
(4000,3799): 0.000249863 (+ 0.0000)
(4000,3344): 0.000249863 (+ 0.0000)
(4000,2752): 0.000249863 (+ 0.0000)
(4000,2753): 0.000249863 (+ 0.0000)
(4000,1307): 0.000249863 (+ 0.0000)
(4000,1306): 0.000249863 (+ 0.0000)
(4000,3264): 0.000249863 (+ 0.0000)
(4000,1731): 0.000249863 (+ 0.0000)
(4000,1730): 0.000249863 (+ 0.0000)
(4000,18): 0.000249863 (+ 0.0000)
(4000,19): 0.000249863 (+ 0.0000)
(4000,2936): 0.000249863 (+ 0.0000)
(4000,2937): 0.000249863 (+ 0.0000)
(4000,145): 0.000249863 (+ 0.0000)
(4000,2015): 0.000249863 (+ 0.0000)
(4000,2440): 0.000249863 (+ 0.0000)
(4000,2441): 0.000249863 (+ 0.0000)
(4000,2115): 0.000249863 (+ 0.0000)
(4000,2114): 0.000249863 (+ 0.0000)
(4000,1488): 0.000249863 (+ 0.0000)
(4000,1489): 0.000249863 (+ 0.0000)
(4000,1097): 0.000249863 (+ 0.0000)
(4000,1096): 0.000249863 (+ 0.0000)
(4000,2291): 0.000249863 (+ 0.0000)
(4000,2290): 0.000249863 (+ 0.0000)
(4000,301): 0.000249863 (+ 0.0000)
(4000,300): 0.000249863 (+ 0.0000)
(4000,2786): 0.000249863 (+ 0.0000)
(4000,1409): 0.000249863 (+ 0.0000)
(4000,1408): 0.000249863 (+ 0.0000)
(4000,1688): 0.000249863 (+ 0.0000)
(4000,3252): 0.000249863 (+ 0.0000)
(4000,3348): 0.000249863 (+ 0.0000)
(4000,3349): 0.000249863 (+ 0.0000)
(4000,2954): 0.000249863 (+ 0.0000)
(4000,2955): 0.000249863 (+ 0.0000)
(4000,1829): 0.000249863 (+ 0.0000)
(4000,1828): 0.000249863 (+ 0.0000)
(4000,2740): 0.000249863 (+ 0.0000)
(4000,2741): 0.000249863 (+ 0.0000)
(4000,628): 0.000249863 (+ 0.0000)
(4000,1864): 0.000249863 (+ 0.0000)
(4000,3935): 0.000249863 (+ 0.0000)
(4000,3934): 0.000249863 (+ 0.0000)
(4000,382): 0.000249863 (+ 0.0000)
(4000,3193): 0.000249863 (+ 0.0000)
(4000,3192): 0.000249863 (+ 0.0000)
(4000,1699): 0.000249863 (+ 0.0000)
(4000,2641): 0.000249863 (+ 0.0000)
(4000,148): 0.000249863 (+ 0.0000)
(4000,1412): 0.000249863 (+ 0.0000)
(4000,2128): 0.000249863 (+ 0.0000)
(4000,2129): 0.000249863 (+ 0.0000)
(4000,3561): 0.000249863 (+ 0.0000)
(4000,3744): 0.000249863 (+ 0.0000)
(4000,3745): 0.000249863 (+ 0.0000)
(4000,3464): 0.000249863 (+ 0.0000)
(4000,3465): 0.000249863 (+ 0.0000)
(4000,801): 0.000249863 (+ 0.0000)
(4000,3865): 0.000249863 (+ 0.0000)
(4000,3864): 0.000249863 (+ 0.0000)
(4000,3044): 0.000249863 (+ 0.0000)
(4000,3045): 0.000249863 (+ 0.0000)
(4000,989): 0.000249863 (+ 0.0000)
(4000,988): 0.000249863 (+ 0.0000)
(4000,58): 0.000249863 (+ 0.0000)
(4000,59): 0.000249863 (+ 0.0000)
(4000,2168): 0.000249863 (+ 0.0000)
(4000,2169): 0.000249863 (+ 0.0000)
(4000,2070): 0.000249863 (+ 0.0000)
(4000,2071): 0.000249863 (+ 0.0000)
(4000,97): 0.000249863 (+ 0.0000)
(4000,96): 0.000249863 (+ 0.0000)
(4000,1161): 0.000249863 (+ 0.0000)
(4000,1606): 0.000249863 (+ 0.0000)
(4000,1607): 0.000249863 (+ 0.0000)
(4000,313): 0.000249863 (+ 0.0000)
(4000,1506): 0.000249863 (+ 0.0000)
(4000,1507): 0.000249863 (+ 0.0000)
(4000,1800): 0.000249863 (+ 0.0000)
(4000,3223): 0.000249863 (+ 0.0000)
(4000,252): 0.000249863 (+ 0.0000)
(4000,253): 0.000249863 (+ 0.0000)
(4000,1354): 0.000249863 (+ 0.0000)
(4000,2850): 0.000249863 (+ 0.0000)
(4000,1944): 0.000249863 (+ 0.0000)
(4000,1945): 0.000249863 (+ 0.0000)
(4000,2816): 0.000249863 (+ 0.0000)
(4000,2817): 0.000249863 (+ 0.0000)
(4000,3244): 0.000249863 (+ 0.0000)
(4000,1732): 0.000249863 (+ 0.0000)
(4000,1733): 0.000249863 (+ 0.0000)
(4000,2695): 0.000249863 (+ 0.0000)
(4000,2694): 0.000249863 (+ 0.0000)
(4000,1745): 0.000249863 (+ 0.0000)
(4000,1744): 0.000249863 (+ 0.0000)
(4000,674): 0.000249863 (+ 0.0000)
(4000,1664): 0.000249863 (+ 0.0000)
(4000,1665): 0.000249863 (+ 0.0000)
(4000,264): 0.000249863 (+ 0.0000)
(4000,2934): 0.000249863 (+ 0.0000)
(4000,913): 0.000249863 (+ 0.0000)
(4000,912): 0.000249863 (+ 0.0000)
(4000,3736): 0.000249863 (+ 0.0000)
(4000,3737): 0.000249863 (+ 0.0000)
(4000,1081): 0.000249863 (+ 0.0000)
(4000,1080): 0.000249863 (+ 0.0000)
(4000,225): 0.000249863 (+ 0.0000)
(4000,224): 0.000249863 (+ 0.0000)
(4000,1509): 0.000249863 (+ 0.0000)
(4000,1508): 0.000249863 (+ 0.0000)
(4000,338): 0.000249863 (+ 0.0000)
(4000,3385): 0.000249863 (+ 0.0000)
(4000,3384): 0.000249863 (+ 0.0000)
(4000,737): 0.000249863 (+ 0.0000)
(4000,736): 0.000249863 (+ 0.0000)
(4000,1532): 0.000249863 (+ 0.0000)
(4000,1533): 0.000249863 (+ 0.0000)
(4000,2483): 0.000249863 (+ 0.0000)
(4000,932): 0.000249863 (+ 0.0000)
(4000,933): 0.000249863 (+ 0.0000)
(4000,1655): 0.000249863 (+ 0.0000)
(4000,1654): 0.000249863 (+ 0.0000)
(4000,1346): 0.000249863 (+ 0.0000)
(4000,1347): 0.000249863 (+ 0.0000)
(4000,2188): 0.000249863 (+ 0.0000)
(4000,110): 0.000249863 (+ 0.0000)
(4000,111): 0.000249863 (+ 0.0000)
(4000,1396): 0.000249863 (+ 0.0000)
(4000,1397): 0.000249863 (+ 0.0000)
(4000,544): 0.000249863 (+ 0.0000)
(4000,545): 0.000249863 (+ 0.0000)
(4000,131): 0.000249863 (+ 0.0000)
(4000,130): 0.000249863 (+ 0.0000)
(4000,635): 0.000249863 (+ 0.0000)
(4000,634): 0.000249863 (+ 0.0000)
(4000,2442): 0.000249863 (+ 0.0000)
(4000,937): 0.000249863 (+ 0.0000)
(4000,936): 0.000249863 (+ 0.0000)
(4000,2524): 0.000249863 (+ 0.0000)
(4000,2525): 0.000249863 (+ 0.0000)
(4000,3678): 0.000249863 (+ 0.0000)
(4000,2575): 0.000249863 (+ 0.0000)
(4000,2269): 0.000249863 (+ 0.0000)
(4000,2268): 0.000249863 (+ 0.0000)
(4000,1798): 0.000249863 (+ 0.0000)
(4000,1799): 0.000249863 (+ 0.0000)
(4000,2642): 0.000249863 (+ 0.0000)
(4000,2643): 0.000249863 (+ 0.0000)
(4000,1503): 0.000249863 (+ 0.0000)
(4000,2684): 0.000249863 (+ 0.0000)
(4000,2685): 0.000249863 (+ 0.0000)
(4000,2922): 0.000249863 (+ 0.0000)
(4000,371): 0.000249863 (+ 0.0000)
(4000,2325): 0.000249863 (+ 0.0000)
(4000,2324): 0.000249863 (+ 0.0000)
(4000,548): 0.000249863 (+ 0.0000)
(4000,549): 0.000249863 (+ 0.0000)
(4000,1411): 0.000249863 (+ 0.0000)
(4000,1410): 0.000249863 (+ 0.0000)
(4000,1991): 0.000249863 (+ 0.0000)
(4000,1990): 0.000249863 (+ 0.0000)
(4000,2358): 0.000249863 (+ 0.0000)
(4000,3659): 0.000249863 (+ 0.0000)
(4000,1364): 0.000249863 (+ 0.0000)
(4000,1365): 0.000249863 (+ 0.0000)
(4000,3526): 0.000249863 (+ 0.0000)
(4000,257): 0.000249863 (+ 0.0000)
(4000,447): 0.000249863 (+ 0.0000)
(4000,1280): 0.000249863 (+ 0.0000)
(4000,1281): 0.000249863 (+ 0.0000)
(4000,833): 0.000249863 (+ 0.0000)
(4000,3691): 0.000249863 (+ 0.0000)
(4000,3690): 0.000249863 (+ 0.0000)
(4000,1296): 0.000249863 (+ 0.0000)
(4000,1297): 0.000249863 (+ 0.0000)
(4000,2758): 0.000249863 (+ 0.0000)
(4000,82): 0.000249863 (+ 0.0000)
(4000,83): 0.000249863 (+ 0.0000)
(4000,750): 0.000249863 (+ 0.0000)
(4000,751): 0.000249863 (+ 0.0000)
(4000,3429): 0.000249863 (+ 0.0000)
(4000,1215): 0.000249863 (+ 0.0000)
(4000,3480): 0.000249863 (+ 0.0000)
(4000,656): 0.000249863 (+ 0.0000)
(4000,657): 0.000249863 (+ 0.0000)
(4000,3926): 0.000249863 (+ 0.0000)
(4000,3927): 0.000249863 (+ 0.0000)
(4000,299): 0.000249863 (+ 0.0000)
(4000,298): 0.000249863 (+ 0.0000)
(4000,772): 0.000249863 (+ 0.0000)
(4000,3393): 0.000249863 (+ 0.0000)
(4000,3392): 0.000249863 (+ 0.0000)
(4000,3655): 0.000249863 (+ 0.0000)
(4000,3654): 0.000249863 (+ 0.0000)
(4000,1850): 0.000249863 (+ 0.0000)
(4000,1851): 0.000249863 (+ 0.0000)
(4000,2799): 0.000249863 (+ 0.0000)
(4000,2798): 0.000249863 (+ 0.0000)
(4000,611): 0.000249863 (+ 0.0000)
(4000,610): 0.000249863 (+ 0.0000)
(4000,4): 0.000249863 (+ 0.0000)
(4000,1546): 0.000249863 (+ 0.0000)
(4000,1547): 0.000249863 (+ 0.0000)
(4000,1535): 0.000249863 (+ 0.0000)
(4000,1534): 0.000249863 (+ 0.0000)
(4000,2328): 0.000249863 (+ 0.0000)
(4000,2329): 0.000249863 (+ 0.0000)
(4000,102): 0.000249863 (+ 0.0000)
(4000,103): 0.000249863 (+ 0.0000)
(4000,3363): 0.000249863 (+ 0.0000)
(4000,3362): 0.000249863 (+ 0.0000)
(4000,3010): 0.000249863 (+ 0.0000)
(4000,3011): 0.000249863 (+ 0.0000)
(4000,1309): 0.000249863 (+ 0.0000)
(4000,1308): 0.000249863 (+ 0.0000)
(4000,3091): 0.000249863 (+ 0.0000)
(4000,3090): 0.000249863 (+ 0.0000)
(4000,834): 0.000249863 (+ 0.0000)
(4000,835): 0.000249863 (+ 0.0000)
(4000,3750): 0.000249863 (+ 0.0000)
(4000,3867): 0.000249863 (+ 0.0000)
(4000,3866): 0.000249863 (+ 0.0000)
(4000,3077): 0.000249863 (+ 0.0000)
(4000,3076): 0.000249863 (+ 0.0000)
(4000,3637): 0.000249863 (+ 0.0000)
(4000,580): 0.000249863 (+ 0.0000)
(4000,581): 0.000249863 (+ 0.0000)
(4000,955): 0.000249863 (+ 0.0000)
(4000,3024): 0.000249863 (+ 0.0000)
(4000,1190): 0.000249863 (+ 0.0000)
(4000,2921): 0.000249863 (+ 0.0000)
(4000,2782): 0.000249863 (+ 0.0000)
(4000,2783): 0.000249863 (+ 0.0000)
(4000,1212): 0.000249863 (+ 0.0000)
(4000,1213): 0.000249863 (+ 0.0000)
(4000,1971): 0.000249863 (+ 0.0000)
(4000,1970): 0.000249863 (+ 0.0000)
(4000,2656): 0.000249863 (+ 0.0000)
(4000,2657): 0.000249863 (+ 0.0000)
(4000,3663): 0.000249863 (+ 0.0000)
(4000,1831): 0.000249863 (+ 0.0000)
(4000,2621): 0.000249863 (+ 0.0000)
(4000,2620): 0.000249863 (+ 0.0000)
(4000,3581): 0.000249863 (+ 0.0000)
(4000,3580): 0.000249863 (+ 0.0000)
(4000,2690): 0.000249863 (+ 0.0000)
(4000,2691): 0.000249863 (+ 0.0000)
(4000,1361): 0.000249863 (+ 0.0000)
(4000,1360): 0.000249863 (+ 0.0000)
(4000,42): 0.000249863 (+ 0.0000)
(4000,43): 0.000249863 (+ 0.0000)
(4000,2343): 0.000249863 (+ 0.0000)
(4000,2342): 0.000249863 (+ 0.0000)
(4000,3724): 0.000249863 (+ 0.0000)
(4000,3725): 0.000249863 (+ 0.0000)
(4000,2947): 0.000249863 (+ 0.0000)
(4000,2162): 0.000249863 (+ 0.0000)
(4000,2163): 0.000249863 (+ 0.0000)
(4000,1852): 0.000249863 (+ 0.0000)
(4000,1853): 0.000249863 (+ 0.0000)
(4000,100): 0.000249863 (+ 0.0000)
(4000,2732): 0.000249863 (+ 0.0000)
(4000,2733): 0.000249863 (+ 0.0000)
(4000,3196): 0.000249863 (+ 0.0000)
(4000,3197): 0.000249863 (+ 0.0000)
(4000,1824): 0.000249863 (+ 0.0000)
(4000,24): 0.000249863 (+ 0.0000)
(4000,25): 0.000249863 (+ 0.0000)
(4000,2020): 0.000249863 (+ 0.0000)
(4000,2021): 0.000249863 (+ 0.0000)
(4000,2670): 0.000249863 (+ 0.0000)
(4000,1540): 0.000249863 (+ 0.0000)
(4000,1541): 0.000249863 (+ 0.0000)
(4000,3398): 0.000249863 (+ 0.0000)
(4000,3399): 0.000249863 (+ 0.0000)
(4000,654): 0.000249863 (+ 0.0000)
(4000,655): 0.000249863 (+ 0.0000)
(4000,3437): 0.000249863 (+ 0.0000)
(4000,3436): 0.000249863 (+ 0.0000)
(4000,1625): 0.000249863 (+ 0.0000)
(4000,3812): 0.000249863 (+ 0.0000)
(4000,3813): 0.000249863 (+ 0.0000)
(4000,1782): 0.000249863 (+ 0.0000)
(4000,430): 0.000249863 (+ 0.0000)
(4000,431): 0.000249863 (+ 0.0000)
(4000,698): 0.000249863 (+ 0.0000)
(4000,699): 0.000249863 (+ 0.0000)
(4000,1539): 0.000249863 (+ 0.0000)
(4000,3942): 0.000249863 (+ 0.0000)
(4000,2075): 0.000249863 (+ 0.0000)
(4000,2315): 0.000249863 (+ 0.0000)
(4000,3891): 0.000249863 (+ 0.0000)
(4000,3890): 0.000249863 (+ 0.0000)
(4000,1279): 0.000249863 (+ 0.0000)
(4000,1504): 0.000249863 (+ 0.0000)
(4000,1505): 0.000249863 (+ 0.0000)
(4000,3563): 0.000249863 (+ 0.0000)
(4000,3562): 0.000249863 (+ 0.0000)
(4000,142): 0.000249863 (+ 0.0000)
(4000,143): 0.000249863 (+ 0.0000)
(4000,979): 0.000249863 (+ 0.0000)
(4000,978): 0.000249863 (+ 0.0000)
(4000,1931): 0.000249863 (+ 0.0000)
(4000,1675): 0.000249863 (+ 0.0000)
(4000,1393): 0.000249863 (+ 0.0000)
(4000,1392): 0.000249863 (+ 0.0000)
(4000,3886): 0.000249863 (+ 0.0000)
(4000,3887): 0.000249863 (+ 0.0000)
(4000,1302): 0.000249863 (+ 0.0000)
(4000,1303): 0.000249863 (+ 0.0000)
(4000,3438): 0.000249863 (+ 0.0000)
(4000,3439): 0.000249863 (+ 0.0000)
(4000,680): 0.000249863 (+ 0.0000)
(4000,681): 0.000249863 (+ 0.0000)
(4000,1769): 0.000249863 (+ 0.0000)
(4000,3081): 0.000249863 (+ 0.0000)
(4000,3283): 0.000248089 (+ 0.0000)
(4000,790): 0.000248089 (+ 0.0000)
(4000,768): 0.000248075 (+ 0.0000)
(4000,198): 0.000248075 (+ 0.0000)
(4000,3875): 0.000248075 (+ 0.0000)
(4000,36): 0.000248075 (+ 0.0000)
(4000,894): 0.000248075 (+ 0.0000)
(4000,488): 0.000248075 (+ 0.0000)
(4000,2820): 0.000248075 (+ 0.0000)
(4000,2468): 0.000248075 (+ 0.0000)
(4000,1516): 0.000248075 (+ 0.0000)
(4000,273): 0.000248075 (+ 0.0000)
(4000,555): 0.000248075 (+ 0.0000)
(4000,294): 0.000248075 (+ 0.0000)
(4000,3261): 0.000248075 (+ 0.0000)
(4000,1156): 0.000248075 (+ 0.0000)
(4000,816): 0.000248075 (+ 0.0000)
(4000,771): 0.000248075 (+ 0.0000)
(4000,1443): 0.000248075 (+ 0.0000)
(4000,2344): 0.000248075 (+ 0.0000)
(4000,364): 0.000248075 (+ 0.0000)
(4000,1009): 0.000248075 (+ 0.0000)
(4000,3953): 0.000248075 (+ 0.0000)
(4000,3768): 0.000248075 (+ 0.0000)
(4000,150): 0.000248075 (+ 0.0000)
(4000,424): 0.000248075 (+ 0.0000)
(4000,652): 0.000248075 (+ 0.0000)
(4000,2868): 0.000248075 (+ 0.0000)
(4000,3345): 0.000248075 (+ 0.0000)
(4000,800): 0.000248075 (+ 0.0000)
(4000,829): 0.000248075 (+ 0.0000)
(4000,400): 0.000248075 (+ 0.0000)
(4000,3760): 0.000247970 (+ 0.0000)
(4000,773): 0.000247970 (+ 0.0000)
(4000,1284): 0.000247955 (+ 0.0000)
(4000,860): 0.000247955 (+ 0.0000)
(4000,2210): 0.000247955 (+ 0.0000)
(4000,3618): 0.000247955 (+ 0.0000)
(4000,166): 0.000247955 (+ 0.0000)
(4000,1052): 0.000247955 (+ 0.0000)
(4000,2549): 0.000247955 (+ 0.0000)
(4000,607): 0.000247955 (+ 0.0000)
(4000,2546): 0.000247955 (+ 0.0000)
(4000,3605): 0.000247955 (+ 0.0000)
(4000,1574): 0.000247955 (+ 0.0000)
(4000,1394): 0.000247955 (+ 0.0000)
(4000,429): 0.000247955 (+ 0.0000)
(4000,1735): 0.000247955 (+ 0.0000)
(4000,116): 0.000247955 (+ 0.0000)
(4000,178): 0.000247955 (+ 0.0000)
(4000,1592): 0.000247955 (+ 0.0000)
(4000,176): 0.000247955 (+ 0.0000)
(4000,3170): 0.000247955 (+ 0.0000)
(4000,3453): 0.000247955 (+ 0.0000)
(4000,2444): 0.000247955 (+ 0.0000)
(4000,537): 0.000247955 (+ 0.0000)
(4000,223): 0.000247955 (+ 0.0000)
(4000,1984): 0.000247955 (+ 0.0000)
(4000,2252): 0.000247955 (+ 0.0000)
(4000,3649): 0.000247955 (+ 0.0000)
(4000,3216): 0.000247955 (+ 0.0000)
(4000,3546): 0.000247955 (+ 0.0000)
(4000,3651): 0.000247955 (+ 0.0000)
(4000,2122): 0.000247955 (+ 0.0000)
(4000,858): 0.000247955 (+ 0.0000)
(4000,3657): 0.000247955 (+ 0.0000)
(4000,3652): 0.000247955 (+ 0.0000)
(4000,3505): 0.000247955 (+ 0.0000)
(4000,2069): 0.000247955 (+ 0.0000)
(4000,2509): 0.000247955 (+ 0.0000)
(4000,457): 0.000247955 (+ 0.0000)
(4000,1995): 0.000247955 (+ 0.0000)
(4000,2785): 0.000247955 (+ 0.0000)
(4000,1127): 0.000247955 (+ 0.0000)
(4000,2611): 0.000247955 (+ 0.0000)
(4000,1545): 0.000247955 (+ 0.0000)
(4000,39): 0.000247955 (+ 0.0000)
(4000,1211): 0.000247955 (+ 0.0000)
(4000,3831): 0.000247955 (+ 0.0000)
(4000,3331): 0.000247955 (+ 0.0000)
(4000,3616): 0.000247955 (+ 0.0000)
(4000,1145): 0.000247955 (+ 0.0000)
(4000,49): 0.000247955 (+ 0.0000)
(4000,1616): 0.000247955 (+ 0.0000)
(4000,3735): 0.000247955 (+ 0.0000)
(4000,2971): 0.000247955 (+ 0.0000)
(4000,7): 0.000247955 (+ 0.0000)
(4000,3682): 0.000247955 (+ 0.0000)
(4000,1449): 0.000247955 (+ 0.0000)
(4000,3148): 0.000247955 (+ 0.0000)
(4000,3208): 0.000247955 (+ 0.0000)
(4000,3554): 0.000247955 (+ 0.0000)
(4000,3205): 0.000247955 (+ 0.0000)
(4000,2181): 0.000247955 (+ 0.0000)
(4000,3883): 0.000247955 (+ 0.0000)
(4000,2145): 0.000247955 (+ 0.0000)
(4000,2183): 0.000247955 (+ 0.0000)
(4000,3947): 0.000247955 (+ 0.0000)
(4000,1252): 0.000247955 (+ 0.0000)
(4000,2914): 0.000247955 (+ 0.0000)
(4000,2085): 0.000247955 (+ 0.0000)
(4000,1098): 0.000247955 (+ 0.0000)
(4000,3257): 0.000247955 (+ 0.0000)
(4000,1311): 0.000247955 (+ 0.0000)
(4000,886): 0.000247955 (+ 0.0000)
(4000,1119): 0.000247955 (+ 0.0000)
(4000,2124): 0.000247955 (+ 0.0000)
(4000,2217): 0.000247955 (+ 0.0000)
(4000,115): 0.000247955 (+ 0.0000)
(4000,1685): 0.000247955 (+ 0.0000)
(4000,190): 0.000247955 (+ 0.0000)
(4000,1838): 0.000247955 (+ 0.0000)
(4000,2831): 0.000247955 (+ 0.0000)
(4000,2745): 0.000247955 (+ 0.0000)
(4000,2062): 0.000247955 (+ 0.0000)
(4000,2063): 0.000247955 (+ 0.0000)
(4000,919): 0.000247955 (+ 0.0000)
(4000,1573): 0.000247955 (+ 0.0000)
(4000,743): 0.000247955 (+ 0.0000)
(4000,2669): 0.000247955 (+ 0.0000)
(4000,1992): 0.000247955 (+ 0.0000)
(4000,547): 0.000247955 (+ 0.0000)
(4000,2579): 0.000247955 (+ 0.0000)
(4000,1598): 0.000247955 (+ 0.0000)
(4000,3152): 0.000247955 (+ 0.0000)
(4000,2429): 0.000247955 (+ 0.0000)
(4000,2428): 0.000247955 (+ 0.0000)
(4000,596): 0.000247955 (+ 0.0000)
(4000,1877): 0.000247955 (+ 0.0000)
(4000,621): 0.000247955 (+ 0.0000)
(4000,2996): 0.000247955 (+ 0.0000)
(4000,3621): 0.000247955 (+ 0.0000)
(4000,2327): 0.000247955 (+ 0.0000)
(4000,1095): 0.000247955 (+ 0.0000)
(4000,1171): 0.000247955 (+ 0.0000)
(4000,2843): 0.000247955 (+ 0.0000)
(4000,2950): 0.000247955 (+ 0.0000)
(4000,2951): 0.000247955 (+ 0.0000)
(4000,3772): 0.000247955 (+ 0.0000)
(4000,2564): 0.000247955 (+ 0.0000)
(4000,2652): 0.000247955 (+ 0.0000)
(4000,1755): 0.000247955 (+ 0.0000)
(4000,2927): 0.000247955 (+ 0.0000)
(4000,1023): 0.000247955 (+ 0.0000)
(4000,1106): 0.000247955 (+ 0.0000)
(4000,2232): 0.000247955 (+ 0.0000)
(4000,2174): 0.000247955 (+ 0.0000)
(4000,2837): 0.000247955 (+ 0.0000)
(4000,2844): 0.000247955 (+ 0.0000)
(4000,3823): 0.000247955 (+ 0.0000)
(4000,2336): 0.000247955 (+ 0.0000)
(4000,2840): 0.000247955 (+ 0.0000)
(4000,2134): 0.000247955 (+ 0.0000)
(4000,1199): 0.000247955 (+ 0.0000)
(4000,3835): 0.000247955 (+ 0.0000)
(4000,2867): 0.000247955 (+ 0.0000)
(4000,2794): 0.000247955 (+ 0.0000)
(4000,2095): 0.000247955 (+ 0.0000)
(4000,3743): 0.000247955 (+ 0.0000)
(4000,1584): 0.000247955 (+ 0.0000)
(4000,78): 0.000247955 (+ 0.0000)
(4000,3114): 0.000247955 (+ 0.0000)
(4000,1712): 0.000247955 (+ 0.0000)
(4000,1803): 0.000247955 (+ 0.0000)
(4000,22): 0.000247955 (+ 0.0000)
(4000,343): 0.000247955 (+ 0.0000)
(4000,3633): 0.000247955 (+ 0.0000)
(4000,478): 0.000247955 (+ 0.0000)
(4000,1729): 0.000247955 (+ 0.0000)
(4000,1105): 0.000247955 (+ 0.0000)
(4000,8): 0.000247955 (+ 0.0000)
(4000,9): 0.000247955 (+ 0.0000)
(4000,440): 0.000247955 (+ 0.0000)
(4000,3763): 0.000247955 (+ 0.0000)
(4000,2939): 0.000247955 (+ 0.0000)
(4000,523): 0.000247955 (+ 0.0000)
(4000,3552): 0.000247955 (+ 0.0000)
(4000,2383): 0.000247955 (+ 0.0000)
(4000,134): 0.000247955 (+ 0.0000)
(4000,556): 0.000247955 (+ 0.0000)
(4000,1051): 0.000247955 (+ 0.0000)
(4000,618): 0.000247955 (+ 0.0000)
(4000,3300): 0.000247955 (+ 0.0000)
(4000,185): 0.000247955 (+ 0.0000)
(4000,1600): 0.000247955 (+ 0.0000)
(4000,1619): 0.000247955 (+ 0.0000)
(4000,2161): 0.000247955 (+ 0.0000)
(4000,532): 0.000247955 (+ 0.0000)
(4000,589): 0.000247955 (+ 0.0000)
(4000,1226): 0.000247955 (+ 0.0000)
(4000,1218): 0.000247955 (+ 0.0000)
(4000,2404): 0.000247955 (+ 0.0000)
(4000,1183): 0.000247955 (+ 0.0000)
(4000,2789): 0.000247955 (+ 0.0000)
(4000,1471): 0.000247955 (+ 0.0000)
(4000,3727): 0.000247955 (+ 0.0000)
(4000,3757): 0.000247955 (+ 0.0000)
(4000,849): 0.000247955 (+ 0.0000)
(4000,3038): 0.000247955 (+ 0.0000)
(4000,2415): 0.000247955 (+ 0.0000)
(4000,2966): 0.000247955 (+ 0.0000)
(4000,944): 0.000247955 (+ 0.0000)
(4000,2264): 0.000247955 (+ 0.0000)
(4000,3684): 0.000247955 (+ 0.0000)
(4000,1561): 0.000247955 (+ 0.0000)
(4000,16): 0.000247955 (+ 0.0000)
(4000,1764): 0.000247955 (+ 0.0000)
(4000,3298): 0.000247955 (+ 0.0000)
(4000,3389): 0.000247955 (+ 0.0000)
(4000,3664): 0.000247955 (+ 0.0000)
(4000,3277): 0.000247955 (+ 0.0000)
(4000,2606): 0.000247955 (+ 0.0000)
(4000,2874): 0.000247955 (+ 0.0000)
(4000,1168): 0.000247955 (+ 0.0000)
(4000,971): 0.000247955 (+ 0.0000)
(4000,1225): 0.000247955 (+ 0.0000)
(4000,281): 0.000247955 (+ 0.0000)
(4000,2879): 0.000247955 (+ 0.0000)
(4000,1581): 0.000247955 (+ 0.0000)
(4000,1526): 0.000247955 (+ 0.0000)
(4000,3798): 0.000247955 (+ 0.0000)
(4000,3265): 0.000247955 (+ 0.0000)
(4000,3599): 0.000247955 (+ 0.0000)
(4000,2787): 0.000247955 (+ 0.0000)
(4000,629): 0.000247955 (+ 0.0000)
(4000,383): 0.000247955 (+ 0.0000)
(4000,3222): 0.000247955 (+ 0.0000)
(4000,1355): 0.000247955 (+ 0.0000)
(4000,2851): 0.000247955 (+ 0.0000)
(4000,3525): 0.000247955 (+ 0.0000)
(4000,2482): 0.000247955 (+ 0.0000)
(4000,2443): 0.000247955 (+ 0.0000)
(4000,2574): 0.000247955 (+ 0.0000)
(4000,3873): 0.000247955 (+ 0.0000)
(4000,370): 0.000247955 (+ 0.0000)
(4000,3527): 0.000247955 (+ 0.0000)
(4000,256): 0.000247955 (+ 0.0000)
(4000,1078): 0.000247955 (+ 0.0000)
(4000,3428): 0.000247955 (+ 0.0000)
(4000,5): 0.000247955 (+ 0.0000)
(4000,3751): 0.000247955 (+ 0.0000)
(4000,1469): 0.000247955 (+ 0.0000)
(4000,1468): 0.000247955 (+ 0.0000)
(4000,1624): 0.000247955 (+ 0.0000)
(4000,1783): 0.000247955 (+ 0.0000)
(4000,3943): 0.000247955 (+ 0.0000)
(4000,1719): 0.000247955 (+ 0.0000)
(4000,2314): 0.000247955 (+ 0.0000)
(4000,1930): 0.000247955 (+ 0.0000)
(4000,3931): 0.000246167 (+ 0.0000)
(4000,1241): 0.000246167 (+ 0.0000)
(4000,2341): 0.000246167 (+ 0.0000)
(4000,2019): 0.000246167 (+ 0.0000)
(4000,2032): 0.000246048 (+ 0.0000)
(4000,1264): 0.000246048 (+ 0.0000)
(4000,46): 0.000246048 (+ 0.0000)
(4000,3302): 0.000246048 (+ 0.0000)
(4000,1263): 0.000246048 (+ 0.0000)
(4000,534): 0.000246048 (+ 0.0000)
(4000,434): 0.000246048 (+ 0.0000)
(4000,3905): 0.000246048 (+ 0.0000)
(4000,1936): 0.000246048 (+ 0.0000)
(4000,710): 0.000246048 (+ 0.0000)	

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:30 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=4000 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 11, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 124, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 764, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 2077, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:31 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1024, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    194046 loops (38809/sec), 2358171 sampling steps, 12059 aborted
    loop condition 0.013595, exit probability 0.0081322 in initial state
    15032 explored states, 4000 states in BSSCs (4000 absorbing)
    181970 component updates, 2211499 transient state updates
    Bounds: [0.00024986+9.99500e-01]@[0.00000](48), [0.00024986+9.99500e-01]@[0.00000](57), [0.00024414+9.99512e-01]@[0.00000](56), [0.00024414+9.99512e-01]@[0.00000](35), [0.00024414+9.99512e-01]@[0.00000](41), [0.00024986+9.99500e-01]@[0.00000](47), [0.00024414+9.99512e-01]@[0.00000](56), [0.00024986+9.99500e-01]@[0.00000](51), [0.00024986+9.99500e-01]@[0.00000](46), [0.00024986+9.99500e-01]@[0.00000](70) ... (4000)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    453831 loops (51957/sec), 5515285 sampling steps, 12059 aborted
    loop condition 0.0065405, exit probability 0.0023048 in initial state
    16835 explored states, 4000 states in BSSCs (4000 absorbing)
    441753 component updates, 5368558 transient state updates
    Bounds: [0.00024986+9.99500e-01]@[0.00000](110), [0.00024986+9.99500e-01]@[0.00000](124), [0.00024605+9.99508e-01]@[0.00000](115), [0.00024414+9.99512e-01]@[0.00000](104), [0.00024605+9.99508e-01]@[0.00000](110), [0.00024986+9.99500e-01]@[0.00000](121), [0.00024414+9.99512e-01]@[0.00000](125), [0.00024986+9.99500e-01]@[0.00000](117), [0.00024986+9.99500e-01]@[0.00000](110), [0.00024986+9.99500e-01]@[0.00000](137) ... (4000)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    717744 loops (52782/sec), 8721104 sampling steps, 12059 aborted
    loop condition 0.0035645, exit probability 0.0010346 in initial state
    17521 explored states, 4000 states in BSSCs (4000 absorbing)
    705665 component updates, 8574349 transient state updates
    Bounds: [0.00024986+9.99500e-01]@[0.00000](188), [0.00024986+9.99500e-01]@[0.00000](198), [0.00024986+9.99500e-01]@[0.00000](186), [0.00024796+9.99504e-01]@[0.00000](163), [0.00024986+9.99500e-01]@[0.00000](184), [0.00024986+9.99500e-01]@[0.00000](182), [0.00024796+9.99504e-01]@[0.00000](187), [0.00024986+9.99500e-01]@[0.00000](186), [0.00024986+9.99500e-01]@[0.00000](168), [0.00024986+9.99500e-01]@[0.00000](206) ... (4000)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    987299 loops (53911/sec), 11995796 sampling steps, 12059 aborted
    loop condition 0.0019950, exit probability 0.00062094 in initial state
    18032 explored states, 4000 states in BSSCs (4000 absorbing)
    975219 component updates, 11849010 transient state updates
    Bounds: [0.00024986+9.99500e-01]@[0.00000](268), [0.00024986+9.99500e-01]@[0.00000](280), [0.00024986+9.99500e-01]@[0.00000](265), [0.00024986+9.99500e-01]@[0.00000](222), [0.00024986+9.99500e-01]@[0.00000](264), [0.00024986+9.99500e-01]@[0.00000](253), [0.00024796+9.99504e-01]@[0.00000](257), [0.00024986+9.99500e-01]@[0.00000](240), [0.00024986+9.99500e-01]@[0.00000](246), [0.00024986+9.99500e-01]@[0.00000](280) ... (4000)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1255369 loops (53614/sec), 15252236 sampling steps, 12059 aborted
    loop condition 0.0012882, exit probability 0.00046552 in initial state
    18367 explored states, 4000 states in BSSCs (4000 absorbing)
    1243288 component updates, 15105420 transient state updates
    Bounds: [0.00024986+9.99500e-01]@[0.00000](347), [0.00024986+9.99500e-01]@[0.00000](351), [0.00024986+9.99500e-01]@[0.00000](341), [0.00024986+9.99500e-01]@[0.00000](289), [0.00024986+9.99500e-01]@[0.00000](332), [0.00024986+9.99500e-01]@[0.00000](328), [0.00024986+9.99500e-01]@[0.00000](317), [0.00024986+9.99500e-01]@[0.00000](297), [0.00024986+9.99500e-01]@[0.00000](318), [0.00024986+9.99500e-01]@[0.00000](348) ... (4000)
Sep 13, 2024 10:48:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1425814 loops (53180/sec), 17323819 sampling steps, 12059 aborted
    loop condition 0.00099995, exit probability 0.00042633 in initial state
    18537 explored states, 4000 states in BSSCs (4000 absorbing)
    1413732 component updates, 17176974 transient state updates
    Bounds: [0.00024986+9.99500e-01]@[0.00000](392), [0.00024986+9.99500e-01]@[0.00000](397), [0.00024986+9.99500e-01]@[0.00000](383), [0.00024986+9.99500e-01]@[0.00000](336), [0.00024986+9.99500e-01]@[0.00000](366), [0.00024986+9.99500e-01]@[0.00000](365), [0.00024998+9.99500e-01]@[0.00000](370), [0.00024986+9.99500e-01]@[0.00000](343), [0.00024986+9.99500e-01]@[0.00000](368), [0.00024986+9.99500e-01]@[0.00000](385) ... (4000)