Build Number: 5617989
Project Version: 0.25.0
Build Date: 2022-07-18T11:33:13

Data$Value.class: 3014
Main$1.class: 752
AtOnce.class: 1895
PhImmovable.class: 1304
Dataized.class: 3712
CachedPhi.class: 2086
Vertices.class: 3475
ExAbstract.class: 663
Data$ToPhi.class: 2562
Main.class: 7239
PhLocated.class: 1543
PhDefault.class: 9235
PhCopy.class: 1812
Data$Once.class: 2077
Phi$1.class: 1631
AtComposite.class: 1464
PhNamed.class: 1577
ExReadOnly.class: 581
PhLogged.class: 2269
PhConst.class: 2822
version.txt: 7
ExUnset.class: 572
AtVararg.class: 2100
AtConst.class: 2027
Param.class: 3410
Volatile.class: 378
AtLocated.class: 1888
AtNamed.class: 2269
AtPhiSensitive.class: 1293
AtLogged.class: 1643
AtFree.class: 2092
Term.class: 140
Phi.class: 485
Indented.class: 942
Expr.class: 199
PhWith.class: 4036
ExFlow.class: 363
PhOnce.class: 2132
Data.class: 367
ExprReduce.class: 4196
PhPackage.class: 4341
XmirObject.class: 494
AtAbsent.class: 1365
AtSimple.class: 1116
package-info.class: 116
PhMethod.class: 2145
ExFailure.class: 578
Attr.class: 247
ExError.class: 593
PhUnvar.class: 1597
