<commit_before>package batfish.z3;

import java.util.ArrayList;
import java.util.HashSet;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Map;
import java.util.Map.Entry;
import java.util.Set;
import java.util.TreeMap;
import java.util.TreeSet;

import batfish.collections.EdgeSet;
import batfish.collections.FibMap;
import batfish.collections.FibRow;
import batfish.collections.FlowSinkInterface;
import batfish.collections.FlowSinkSet;
import batfish.collections.NodeSet;
import batfish.collections.PolicyRouteFibIpMap;
import batfish.collections.PolicyRouteFibNodeMap;
import batfish.collections.RoleSet;
import batfish.main.BatfishException;
import batfish.representation.Configuration;
import batfish.representation.Edge;
import batfish.representation.Interface;
import batfish.representation.Ip;
import batfish.representation.IpAccessList;
import batfish.representation.IpAccessListLine;
import batfish.representation.IpProtocol;
import batfish.representation.PolicyMap;
import batfish.representation.PolicyMapAction;
import batfish.representation.PolicyMapClause;
import batfish.representation.PolicyMapMatchIpAccessListLine;
import batfish.representation.PolicyMapMatchLine;
import batfish.representation.PolicyMapMatchType;
import batfish.representation.PolicyMapSetLine;
import batfish.representation.PolicyMapSetNextHopLine;
import batfish.representation.PolicyMapSetType;
import batfish.representation.Prefix;
import batfish.util.SubRange;
import batfish.util.Util;
import batfish.z3.node.AcceptExpr;
import batfish.z3.node.AclDenyExpr;
import batfish.z3.node.ExternalDestinationIpExpr;
import batfish.z3.node.ExternalSourceIpExpr;
import batfish.z3.node.NodeTransitExpr;
import batfish.z3.node.OriginateExpr;
import batfish.z3.node.PolicyDenyExpr;
import batfish.z3.node.PolicyExpr;
import batfish.z3.node.AclMatchExpr;
import batfish.z3.node.AclNoMatchExpr;
import batfish.z3.node.AclPermitExpr;
import batfish.z3.node.AndExpr;
import batfish.z3.node.BooleanExpr;
import batfish.z3.node.Comment;
import batfish.z3.node.DeclareRelExpr;
import batfish.z3.node.DeclareVarExpr;
import batfish.z3.node.DestinationRouteExpr;
import batfish.z3.node.DropExpr;
import batfish.z3.node.EqExpr;
import batfish.z3.node.ExtractExpr;
import batfish.z3.node.FalseExpr;
import batfish.z3.node.IntExpr;
import batfish.z3.node.LitIntExpr;
import batfish.z3.node.NodeAcceptExpr;
import batfish.z3.node.NodeDropExpr;
import batfish.z3.node.NotExpr;
import batfish.z3.node.OrExpr;
import batfish.z3.node.PacketRelExpr;
import batfish.z3.node.PolicyMatchExpr;
import batfish.z3.node.PolicyNoMatchExpr;
import batfish.z3.node.PolicyPermitExpr;
import batfish.z3.node.PostInExpr;
import batfish.z3.node.PostInInterfaceExpr;
import batfish.z3.node.PostOutInterfaceExpr;
import batfish.z3.node.PreInInterfaceExpr;
import batfish.z3.node.PreOutEdgeExpr;
import batfish.z3.node.PreOutExpr;
import batfish.z3.node.PreOutInterfaceExpr;
import batfish.z3.node.RoleAcceptExpr;
import batfish.z3.node.RoleOriginateExpr;
import batfish.z3.node.RuleExpr;
import batfish.z3.node.SaneExpr;
import batfish.z3.node.Statement;
import batfish.z3.node.TrueExpr;
import batfish.z3.node.VarIntExpr;

public class Synthesizer {
   public static final String DST_IP_VAR = "dst_ip";
   public static final String DST_PORT_VAR = "dst_port";
   public static final String FAKE_INTERFACE_PREFIX = "TenGigabitEthernet200/";
   private static final String FLOW_SINK_TERMINATION_NAME = "flow_sink_termination";
   private static final int IP_BITS = 32;
   public static final String IP_PROTOCOL_VAR = "ip_prot";
   private static final String NODE_NONE_NAME = "(none)";
   public static final Map<String, Integer> PACKET_VAR_SIZES = initPacketVarSizes();
   public static final List<String> PACKET_VARS = getPacketVars();
   private static final int PORT_BITS = 16;
   private static final int PORT_MAX = 65535;
   private static final int PORT_MIN = 0;<commit_msg>make number of bits in ip public<commit_after>package batfish.z3;

import java.util.ArrayList;
import java.util.HashSet;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Map;
import java.util.Map.Entry;
import java.util.Set;
import java.util.TreeMap;
import java.util.TreeSet;

import batfish.collections.EdgeSet;
import batfish.collections.FibMap;
import batfish.collections.FibRow;
import batfish.collections.FlowSinkInterface;
import batfish.collections.FlowSinkSet;
import batfish.collections.NodeSet;
import batfish.collections.PolicyRouteFibIpMap;
import batfish.collections.PolicyRouteFibNodeMap;
import batfish.collections.RoleSet;
import batfish.main.BatfishException;
import batfish.representation.Configuration;
import batfish.representation.Edge;
import batfish.representation.Interface;
import batfish.representation.Ip;
import batfish.representation.IpAccessList;
import batfish.representation.IpAccessListLine;
import batfish.representation.IpProtocol;
import batfish.representation.PolicyMap;
import batfish.representation.PolicyMapAction;
import batfish.representation.PolicyMapClause;
import batfish.representation.PolicyMapMatchIpAccessListLine;
import batfish.representation.PolicyMapMatchLine;
import batfish.representation.PolicyMapMatchType;
import batfish.representation.PolicyMapSetLine;
import batfish.representation.PolicyMapSetNextHopLine;
import batfish.representation.PolicyMapSetType;
import batfish.representation.Prefix;
import batfish.util.SubRange;
import batfish.util.Util;
import batfish.z3.node.AcceptExpr;
import batfish.z3.node.AclDenyExpr;
import batfish.z3.node.ExternalDestinationIpExpr;
import batfish.z3.node.ExternalSourceIpExpr;
import batfish.z3.node.NodeTransitExpr;
import batfish.z3.node.OriginateExpr;
import batfish.z3.node.PolicyDenyExpr;
import batfish.z3.node.PolicyExpr;
import batfish.z3.node.AclMatchExpr;
import batfish.z3.node.AclNoMatchExpr;
import batfish.z3.node.AclPermitExpr;
import batfish.z3.node.AndExpr;
import batfish.z3.node.BooleanExpr;
import batfish.z3.node.Comment;
import batfish.z3.node.DeclareRelExpr;
import batfish.z3.node.DeclareVarExpr;
import batfish.z3.node.DestinationRouteExpr;
import batfish.z3.node.DropExpr;
import batfish.z3.node.EqExpr;
import batfish.z3.node.ExtractExpr;
import batfish.z3.node.FalseExpr;
import batfish.z3.node.IntExpr;
import batfish.z3.node.LitIntExpr;
import batfish.z3.node.NodeAcceptExpr;
import batfish.z3.node.NodeDropExpr;
import batfish.z3.node.NotExpr;
import batfish.z3.node.OrExpr;
import batfish.z3.node.PacketRelExpr;
import batfish.z3.node.PolicyMatchExpr;
import batfish.z3.node.PolicyNoMatchExpr;
import batfish.z3.node.PolicyPermitExpr;
import batfish.z3.node.PostInExpr;
import batfish.z3.node.PostInInterfaceExpr;
import batfish.z3.node.PostOutInterfaceExpr;
import batfish.z3.node.PreInInterfaceExpr;
import batfish.z3.node.PreOutEdgeExpr;
import batfish.z3.node.PreOutExpr;
import batfish.z3.node.PreOutInterfaceExpr;
import batfish.z3.node.RoleAcceptExpr;
import batfish.z3.node.RoleOriginateExpr;
import batfish.z3.node.RuleExpr;
import batfish.z3.node.SaneExpr;
import batfish.z3.node.Statement;
import batfish.z3.node.TrueExpr;
import batfish.z3.node.VarIntExpr;

public class Synthesizer {
   public static final String DST_IP_VAR = "dst_ip";
   public static final String DST_PORT_VAR = "dst_port";
   public static final String FAKE_INTERFACE_PREFIX = "TenGigabitEthernet200/";
   private static final String FLOW_SINK_TERMINATION_NAME = "flow_sink_termination";
   public static final int IP_BITS = 32;
   public static final String IP_PROTOCOL_VAR = "ip_prot";
   private static final String NODE_NONE_NAME = "(none)";
   public static final Map<String, Integer> PACKET_VAR_SIZES = initPacketVarSizes();
   public static final List<String> PACKET_VARS = getPacketVars();
   private static final int PORT_BITS = 16;
   private static final int PORT_MAX = 65535;
   private static final int PORT_MIN = 0;
{'fraction_non_alphanumeric': 0.08817584638706417, 'fraction_numerical': 0.014906518443658413, 'mean_word_length': 6.72390243902439, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3624557', 'n_tokens_mistral': 2643, 'n_tokens_neox': 2595, 'n_words': 493}