# parallel import
# waiting for import to finish
# size of result
  seg   quads (s)  quads (sr)      models   resources
    0      162374          +0           3       31610
    1      161740          +0           3       31693
    2      161166          +0           3       31532
    3      162596          +0           3       31706

TOTAL      647876          +0           3      126541

collision probability ≅ 0.00%
# distinct predicates by object
----Predicate---  
C01DC4248327EBE1  
C05096E4937C5300  
C164BD2E116BD095  
C544A39CA3C96008  
C5EA6D748BC0288B  
C620B0BE6E4AFC2C  
C6DD56E7A5A62F8B  
C6DDDD138958C46D  
C86A7D1AA370C662  
CCF976AB72BE34BA  
CDF53D4FAF983740  
D087FA01EEEECD4A  
D6FE0D4374D5F900  
D896BD4652D926E5  
DA1B07067CA76D51  
DFA7FF99DD405F63  
E0153ED5A4232986  
E109F7BECAB391EC  
E24EE87271DE6C13  
E3D189C1C9582CE3  
E44BA15F9C95578D  
E53296FE8379C8B7  
E6236A679B8B25A6  
E6501C19CCC0F07F  
E6515432CC924F71  
E66961CF411FA702  
E7841AF84CF8A33F  
E885CF86CDEBA7D4  
E95E3998E1FB6613  
EA5F1F4B44B7DD2D  
EB3933CB7903B152  
EB509B8F01575B05  
EC08089399A9330F  
EC8F3320863BAA49  
ED8D0BD77E623E22  
F1BC1B1F047CFA8B  
F40BE9951A744A70  
F42428C13D752731  
F469CE013BD4B767  
FAED1E6D6A6C9AAB  
FBAFED004B12ED7D  
FD26FB195AABE65C  
FEE49D12FD66DD2D  
FFE502BD17FD1C44  
