Run 354

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalCanonicalGenerator_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalCuspLabelClassData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalCusp_arisesFromCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalCusp_eq_modelCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalCusp_quotientOrigin_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalLabCuspModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalLabCuspModelSource'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalModeledCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalModeledCusp_cusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalModeledCusp_labelClass_eq_model_quotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalOpenSubgroups'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalPiCbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalPiXbarOpenInPiCbar'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalPiXbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalPiXbarToPiCvInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalPiXbarToPiCvIsOpenEmbedding'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badLocalType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badValuation_has_multiplicative_reduction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.badValuations_nonempty'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.base_is_numberField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.cKCoreBaseChange'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.cKDeterminedByCF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.cKType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.coverData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.curveModuli'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.cuspLocalData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.cusp_arisesFromNonzeroQuotientElement'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.decompositionGroupOuterSurjection'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.degree_F_over_Fmod_prime_to_l'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.epsilon'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.extension_is_numberField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.fieldTower'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.finiteEtaleCoveringDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.finitePlace_mem_vbad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.finitePlace_mem_vgood_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.finitePlace_mem_vnon_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.fmodFieldOfModuli'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.infinitePlace_mem_varc_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.kIsLTorsionKernelField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.k_is_lTorsionKernelField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.k_is_lTorsionKernelField_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.l'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.lTorsionImageContainsSL2'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.lTorsionImageContainsSL2_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.localBaseChangeDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.localCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.localCuspDeterminedByGlobal'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.localCusp_arisesFromNonzeroQuotientElement'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.prime_ge_five'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.prime_is_prime'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.profiniteGroupOpenImmersions'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.qParameterOrdersPrimeToL'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.qParameterOrdersPrimeToL_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.quotientByNegOne'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.sqrtMinusOne_square'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.stableReductionOverNonarchimedean'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachBaseFunctionFieldCarrier'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachBaseFunctionFieldCarrierField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachBaseToFunctionField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachBaseToFunctionFieldInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeckActionMatchesQuotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeckQuotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeckRingAutHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeckRingAutHomInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeckRingAut_apply'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeckRingAut_fixesBase'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeck_fixed_iff_in_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachDeck_smul_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachFunctionFieldCarrier'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachFunctionFieldCarrierField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachFunctionFieldOfXK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalPiCKHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalPiCKHomKer'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalPiCKHomSurjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalQuotientIdentification'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalRingAutHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalRingAutHomInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalRingAut_apply'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGalRingAut_fixesBase'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGal_fixed_iff_in_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachGal_smul_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiCKRingAutHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiCKRingAutHomKer'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiCKRingAut_apply'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiCKRingAut_eq_galRingAut'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiCKRingAut_fixesBase'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiCK_fixed_iff_in_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiCK_smul_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiXKNormalInPiCK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiXKOpenInPiCK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiXK_smul_trivial'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachPiXK_toGal_eq_one'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachQuotientHomKer'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachQuotientHomPiXK_eq_one'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachQuotientHomSurjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachQuotientMapSurjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaApproachReconstruction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaRootLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaRootLocalModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.thetaRootLocalXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.torsion23RationalOverF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.valuations'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.InitialThetaData.xKType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGeneratorEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGeneratorUpToSign'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_2'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_3'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_4'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModelSource'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalOpenSubgroups'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalPiCbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarOpenInPiCbar'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarToPiCvInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarToPiCvIsOpenEmbedding'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.badType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.baseChangeDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.decompositionGroupOuterSurjection'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.decompositionGroupOuterSurjection_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.decompositionSurjection'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.localBaseChangeDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.localBaseChangeDiagrams_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.localC'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.localX'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.thetaRootCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.thetaRootModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaBadLocalData.thetaRootXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.cF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.cF_is_quotient_by_neg_one'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.cF_is_quotient_by_neg_one_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.fmodFieldOfModuli'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.fmod_is_fieldOfModuli'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.fmod_is_fieldOfModuli_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.quotientByNegOne'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.stableReduction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.stableReductionOverNonarchimedean'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.stableReductionOverNonarchimedean_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.torsion23Rational'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.torsion23RationalOverF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.torsion23RationalOverF_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCurveModuliData.xF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalCanonicalGeneratorEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspArisesFromCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspEqModelCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspLabelClassData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspQuotientOriginEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalCusp_quotientOrigin_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalLabelModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalModelCanonicalGeneratorUpToSign'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp_cusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp_labelClass_eq_model_quotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.localCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.localCuspArisesFromNonzeroQuotientElement'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.localCuspDeterminedByGlobal'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.localCusp_determinedByGlobal'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.localCusp_determinedByGlobal_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaCuspLocalData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.degreePrimeToL'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.degreePrimeToL_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.sqrtMinusOne'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaFieldTower.sqrtMinusOne_square'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cKCoreBaseChange'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cKDeterminedByCF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cKType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cK_core_is_baseChange_cF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cK_core_is_baseChange_cF_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cK_determined_by_cF'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cK_determined_by_cF_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.cK_type'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.deckQuotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.deckQuotientGroup'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.finiteEtaleCoveringDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.finiteEtaleCoveringDiagrams_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.finiteEtaleDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.openImmersions'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.profiniteGroupOpenImmersions'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.profiniteGroupOpenImmersions_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachBaseFunctionFieldCarrier'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachBaseFunctionFieldCarrierField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachBaseToFunctionField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachBaseToFunctionFieldInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachDeckActionMatchesQuotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachDeckRingAutHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachDeckRingAutHomInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachDeckRingAut_apply'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachDeckRingAut_fixesBase'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachDeck_fixed_iff_in_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachDeck_smul_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachFunctionField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachFunctionFieldCarrier'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachFunctionFieldCarrierField'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachFunctionFieldOfXK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalPiCKHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalPiCKHomKer'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalPiCKHomSurjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalQuotientIdentification'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalRingAutHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalRingAutHomInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalRingAut_apply'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGalRingAut_fixesBase'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGal_fixed_iff_in_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachGal_smul_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiCKRingAutHom'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiCKRingAutHomKer'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiCKRingAut_apply'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiCKRingAut_eq_galRingAut'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiCKRingAut_fixesBase'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiCK_fixed_iff_in_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiCK_smul_base'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiXKNormalInPiCK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiXKOpenInPiCK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiXK_smul_trivial'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachPiXK_toGal_eq_one'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachQuotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachQuotientHomKer'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachQuotientHomPiXK_eq_one'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachQuotientHomSurjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachQuotientMapSurjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.thetaApproachReconstruction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.xK'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.xKType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaOrbicurveCoverData.xK_type'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.IsFinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.IsFinite.match_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.IsInfinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.ctorElim'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.ctorElimType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.finite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.finite.elim'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.finite.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.finite.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.finite.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.finite.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.infinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.infinite.elim'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.infinite.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.infinite.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.infinite.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.infinite.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.isFinite_finite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.isFinite_finite._simp_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.isInfinite_infinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.isInfinite_infinite._simp_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.not_isFinite_infinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.not_isFinite_infinite._simp_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.not_isInfinite_finite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.not_isInfinite_finite._simp_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaPlace.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData._sizeOf_inst'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.bad'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.bad.eq_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.badLift_has_multiplicative_reduction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.badMod'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.badMod_nonempty'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.badMod_oddResidueCharacteristic'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.badMod_residueCharacteristic_coprime_l'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.badMod_residueCharacteristic_prime'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.bad_lifts_have_multiplicative_reduction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.bad_nonempty'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.chosenInfiniteLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.chosenInfiniteLift_mem_selectedInfinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.chosenLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.chosenLift_mem_bad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.chosenLift_mem_selected'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.finite_mem_selectedPlaces_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.finite_mem_vbad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.finite_mem_vgood_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.finite_mem_vnon_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.good'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.goodMod'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.infinite_mem_selectedPlaces_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.infinite_mem_varc_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mem_bad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mem_good_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mem_selected_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.multiplicativeBadReductionAtLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.residueCharacteristic'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.selected'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.selected.eq_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.selectedInfinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.selectedPlaces'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.toModuli'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.toModuliInfinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.toModuliInfinite_chosenLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.toModuliInfinite_chosenLift_eq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.toModuli_chosenLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.toModuli_chosenLift_eq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.varc'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.vbad'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.vgood'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'Iut.ThetaValuationData.vnon'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField' referenced from 'NumberField.FinitePlace.congr_simp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalCanonicalGenerator_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalCuspLabelClassData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalCusp_arisesFromCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalCusp_eq_modelCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalCusp_quotientOrigin_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalLabCuspModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalLabCuspModelSource'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalModeledCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalModeledCusp_cusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalModeledCusp_labelClass_eq_model_quotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalOpenSubgroups'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalPiCbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalPiXbarOpenInPiCbar'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalPiXbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalPiXbarToPiCvInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalPiXbarToPiCvIsOpenEmbedding'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badLocalType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badValuation_has_multiplicative_reduction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.badValuations_nonempty'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.decompositionGroupOuterSurjection'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.finitePlace_mem_vbad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.finitePlace_mem_vgood_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.finitePlace_mem_vnon_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.localBaseChangeDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.localCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.localCuspDeterminedByGlobal'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.localCusp_arisesFromNonzeroQuotientElement'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.thetaRootLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.thetaRootLocalModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.InitialThetaData.thetaRootLocalXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGeneratorEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGeneratorUpToSign'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_2'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_3'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_4'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModelSource'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalOpenSubgroups'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalPiCbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarOpenInPiCbar'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarToPiCvInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarToPiCvIsOpenEmbedding'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.badType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.baseChangeDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.decompositionGroupOuterSurjection'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.decompositionGroupOuterSurjection_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.decompositionSurjection'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.localBaseChangeDiagrams'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.localBaseChangeDiagrams_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.localC'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.localX'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.thetaRootCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.thetaRootModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaBadLocalData.thetaRootXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalCanonicalGeneratorEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspArisesFromCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspEqModelCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspLabelClassData'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspQuotientOriginEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalCusp_quotientOrigin_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalLabelModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalModelCanonicalGeneratorUpToSign'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp_cusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp_labelClass_eq_model_quotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.localCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.localCuspArisesFromNonzeroQuotientElement'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.localCuspDeterminedByGlobal'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.localCusp_determinedByGlobal'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.localCusp_determinedByGlobal_holds'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaCuspLocalData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.IsFinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.IsFinite.match_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.IsInfinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.ctorElim'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.ctorElimType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.ctorIdx'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.finite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.finite.elim'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.finite.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.finite.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.finite.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.finite.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.isFinite_finite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.isFinite_finite._simp_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.not_isInfinite_finite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.not_isInfinite_finite._simp_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaPlace.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.bad'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.bad.eq_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.badLift_has_multiplicative_reduction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.badMod'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.badMod_nonempty'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.badMod_oddResidueCharacteristic'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.badMod_residueCharacteristic_coprime_l'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.badMod_residueCharacteristic_prime'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.bad_lifts_have_multiplicative_reduction'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.bad_nonempty'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.chosenLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.chosenLift_mem_bad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.chosenLift_mem_selected'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.finite_mem_selectedPlaces_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.finite_mem_vbad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.finite_mem_vgood_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.finite_mem_vnon_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.good'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.goodMod'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mem_bad_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mem_good_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mem_selected_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.multiplicativeBadReductionAtLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.residueCharacteristic'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.selected'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.selected.eq_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.selectedPlaces'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.toModuli'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.toModuli_chosenLift'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.toModuli_chosenLift_eq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.vbad'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.vgood'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'Iut.ThetaValuationData.vnon'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace' referenced from 'NumberField.FinitePlace.congr_simp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalCusp_eq_modelCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalCusp_quotientOrigin_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalLabCuspModelSource'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalModeledCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalModeledCusp_cusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalModeledCusp_labelClass_eq_model_quotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.badLocalType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.localCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.localCusp_arisesFromNonzeroQuotientElement'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.thetaRootLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.InitialThetaData.thetaRootLocalXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGenerator'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGeneratorEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalCanonicalGeneratorUpToSign'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_2'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModel._proof_3'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalLabCuspModelSource'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalOpenSubgroups'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalPiCbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarOpenInPiCbar'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarOpenInPiCv'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarToPiCvInjective'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badLocalPiXbarToPiCvIsOpenEmbedding'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.badType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.localC'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.localX'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.thetaRootCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalCType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.thetaRootLocalXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.thetaRootModels'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaBadLocalData.thetaRootXType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.badLocalCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspEqModelCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.badLocalCuspQuotientOriginEqModel'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.badLocalCusp_quotientOrigin_eq_model'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp_cusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.badLocalModeledCusp_labelClass_eq_model_quotient'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.casesOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.localCusp'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.localCuspArisesFromNonzeroQuotientElement'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.mk'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.mk._flat_ctor'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.mk.inj'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.mk.injEq'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.mk.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.mk.sizeOf_spec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.noConfusion'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.noConfusionType'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.rec'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.FinitePlace.maximalIdeal' referenced from 'Iut.ThetaCuspLocalData.recOn'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.FinitePlace.maximalIdeal"
}

unresolved local dependency 'NumberField.InfinitePlace' referenced from 'Iut.InitialThetaData.infinitePlace_mem_varc_iff'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.InfinitePlace"
}

unresolved local dependency 'NumberField.InfinitePlace' referenced from 'Iut.ThetaPlace.IsFinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.InfinitePlace"
}

unresolved local dependency 'NumberField.InfinitePlace' referenced from 'Iut.ThetaPlace.IsFinite.match_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.InfinitePlace"
}

unresolved local dependency 'NumberField.InfinitePlace' referenced from 'Iut.ThetaPlace.IsInfinite'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.InfinitePlace"
}

unresolved local dependency 'NumberField.InfinitePlace' referenced from 'Iut.ThetaPlace._sizeOf_1'

{
  "candidate_count": 0,
  "candidates": [],
  "reference": "NumberField.InfinitePlace"
}