!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None%&+,-69:;DOQRTget dimension from tensor,dim (Tensor 1 :: Tensor '[192,10] Float Int)[192,10]Dependently typed tensor modelHThis model includes basic arithmetic operators and tensorflow functions. Scalar value,Transform a value to dependently typed value + of Num of Num of Num  abs of Num  signum of Numvector wise operatortensor tansporse operatormatrix multiplyconcat operatorreshape functionconv2d functionmax poolsubsampling function")When generating code, this label is used.#2IsSameProduct // A constraint for reshaping tensor-(m :: [Nat]) // dimensions of original tensor-(n :: [Nat]) // dimensions of reshaped tensor:: Bool$5IsConcat // A constraint for concatination of tensor -(m :: [Nat]) // dimensions of a[..., i, ...] ,(o :: [Nat]) // dimensions of b[..., k, ...]C(n :: [Nat]) // dimensions of output[..., i+k, ...] = concat (a,b) :: Bool%2IsMatMul // A constraint for matrix multiplication+(m :: [Nat]) // dimensions of a[..., i, k] *(o :: [Nat]) // dimensions of b[..., k, j]l(n :: [Nat]) // dimensions of output[..., i, j] = sum_k (a[..., i, k] * b[..., k, j]), for all indices i, j.:: Bool&#IsSubSamp // Subsampling constraint'(f :: [Nat]) // strides for subsampling.(m :: [Nat]) // dimensions of original tensor 0(n :: [Nat]) // dimensions of subsampled tensor :: Bool.  !"#$%&'()*+,-+  !"#$%&'()*.&%$#  !"'-,+()*  !"#$%&'()*+,-'4None%&+,-69:;DOQRT.Get dimensions of list listDim [1][1] listDim [[1]][1,1]listDim [[1,2]][1,2]listDim [[1,2],[1,2]][2,2]7"Gen tensorflow constant expression$(pyConst1 [3]) means (Tensor "tf.constant([3])" :: Tensor '[1] PyString) $(pyConst1 [3,3]) means (Tensor "tf.constant([3,3])" :: Tensor '[2] PyString) $(pyConst2 [[3,3],[3,3]]) means (Tensor "tf.constant([[3,3],[3,3]])" :: Tensor '[2,2] PyString)./0123456789:;<=>?@./0123456789:;0123@?>4./=<56789:;./0123456789:;<=>?@None%&+,-69:;DOQRTDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~DEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None%&+,-69:;DOQRT      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None%&+,-69:;DOQRTJJJJNone%&+,-69:;DOQRT9  !"#$%&'()*./0123456789:;       !"#$%&'()*+,-./01234566789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopQRqrstuvwxyz{|}~'mathflow-0.1.0.0-CeZ8akuXPcJIzkC4DXJ8Vd MathFlow.CoreMathFlow.PyString MathFlow.TFMathFlow.TF.NNMathFlow.TF.TrainMathFlow FromTensor fromTensortoStringrun DimensiondimTensorTScalarTAddTSubTMulTAbsTSignTRepTTrTMatMulTConcatTReshapeTConv2dTMaxPoolTSoftMaxTReLuTNormTSubSampTAppTFuncTSymTArgTTArgSTArgITArgFTArgDTArgSingTLabel IsSameProductIsConcatIsMatMul IsSubSamp<+>toValue%*<--$fDimensionSing$fDimensionTensor $fNumTensor ListDimensionlistDimPyString variables expressiontoRunnableString genPyTypegenPyExppyConst1pyConst2pyConst3pyConst4pyConst$fListDimension[]$fListDimensionInteger$fFromTensorPyString$fIsStringPyString$fMonoidPyString$fShowPyString $fEqPyString$fReadPyStringassert noGradientnotDifferentiabletfPrint'tfPrintabs' accumulateN' accumulateNacos'add'addaddCheckNumericsOpsaddN'addNaddToCollection allVariablesargMax'argMaxargMin'argMinargmax'argmaxargmin'argminasDtype asString'asStringasin' assertEqual' assertEqualassertGreater' assertGreaterassertGreaterEqual'assertGreaterEqualassertInteger' assertInteger assertLess' assertLessassertLessEqual'assertLessEqualassertNegative'assertNegativeassertNonNegative'assertNonNegativeassertNonPositive'assertNonPositiveassertNoneEqual'assertNoneEqualassertPositive'assertPositiveassertProperIterable assertRank' assertRankassertRankAtLeast'assertRankAtLeastassertSameFloatDtype assertScalar' assertScalar assertType' assertTypeassertVariablesInitializedassign'assign assignAdd' assignAdd assignSub' assignSubatan'atan2'atan2 batchToSpace' batchToSpacebatchToSpaceNd'batchToSpaceNdbetainc'betainc bincount'bincountbitcast'bitcast booleanMask' booleanMaskbroadcastDynamicShapebroadcastStaticShapetfcase'tfcasecast'castceil'ceilcheckNumerics' checkNumerics cholesky'choleskycholeskySolve' choleskySolveclipByAverageNorm'clipByAverageNormclipByGlobalNorm'clipByGlobalNorm clipByNorm' clipByNorm clipByValue' clipByValuecomplex'complexconcat'concatcondconfusionMatrix'confusionMatrixconj'conj constant'constant containercontrolDependenciesconvertToTensor'convertToTensorconvertToTensorOrIndexedSlices'convertToTensorOrIndexedSlicesconvertToTensorOrSparseTensor'convertToTensorOrSparseTensorcos' countNonzero' countNonzero countUpTo' countUpTocreatePartitionedVariables'createPartitionedVariablescross'crosscumprod'cumprodcumsum'cumsum decodeBase64' decodeBase64 decodeCsv' decodeCsvdecodeJsonExample'decodeJsonExample decodeRaw' decodeRawdeleteSessionTensor'deleteSessionTensor depthToSpace' depthToSpace dequantize' dequantizedeserializeManySparse'deserializeManySparsedevicediag'diag diagPart'diagPartdigamma'digammadiv'divdivide'dividedynamicPartition'dynamicPartitiondynamicStitch' dynamicStitch editDistance' editDistanceeinsum encodeBase64' encodeBase64equal'equalerf'erferfc'erfcexp'exp expandDims' expandDimsexpm1'expm1extractImagePatches'extractImagePatcheseye'eyefakeQuantWithMinMaxArgs'fakeQuantWithMinMaxArgs fakeQuantWithMinMaxArgsGradient'fakeQuantWithMinMaxArgsGradientfakeQuantWithMinMaxVars'fakeQuantWithMinMaxVars fakeQuantWithMinMaxVarsGradient'fakeQuantWithMinMaxVarsGradient"fakeQuantWithMinMaxVarsPerChannel'!fakeQuantWithMinMaxVarsPerChannel*fakeQuantWithMinMaxVarsPerChannelGradient')fakeQuantWithMinMaxVarsPerChannelGradientfft'fftfft2d'fft2dfft3d'fft3dfill'fillfixedSizePartitioner'fixedSizePartitionerfloor'floor floorDiv'floorDiv floordiv'floordiv floormod'floormodfoldl'foldlfoldr'foldrgather'gather gatherNd'gatherNdgetCollection' getCollectiongetCollectionRefgetDefaultGraphgetDefaultSessiongetLocalVariablegetSeedgetSessionHandle'getSessionHandlegetSessionTensor'getSessionTensor getVariable' getVariablegetVariableScope globalNorm' globalNormglobalVariablesglobalVariablesInitializer gradients' gradientsgreater'greater greaterEqual' greaterEqualgroup hessians'hessianshistogramFixedWidth'histogramFixedWidth identity'identityifft'ifftifft2d'ifft2difft3d'ifft3digamma'igammaigammac'igammacimag'imagimportGraphDef'importGraphDefinitializeAllTablesinitializeAllVariablesinitializeLocalVariablesinitializeVariablesinvertPermutation'invertPermutation isFinite'isFiniteisInf'isInfisNan'isNanisNonDecreasing'isNonDecreasingisNumericTensorisStrictlyIncreasing'isStrictlyIncreasingisVariableInitializedlbeta'lbetaless'less lessEqual' lessEquallgamma'lgamma linSpace'linSpace linspace'linspaceloadFileSystemLibrary loadOpLibrarylocalVariableslocalVariablesInitializerlog'loglog1p'log1p logSigmoid' logSigmoid logicalAnd' logicalAnd logicalNot' logicalNot logicalOr' logicalOr logicalXor' logicalXor makeNdarray makeTemplate' makeTemplatemakeTensorProto'makeTensorProtomapFn'mapFnmatchingFiles' matchingFilesmatmul'matmulmatrixBandPart'matrixBandPartmatrixDeterminant'matrixDeterminant matrixDiag' matrixDiagmatrixDiagPart'matrixDiagPartmatrixInverse' matrixInversematrixSetDiag' matrixSetDiag matrixSolve' matrixSolvematrixSolveLs' matrixSolveLsmatrixTranspose'matrixTransposematrixTriangularSolve'matrixTriangularSolvemaximum'maximummeshgridminMaxVariablePartitionerminimum'minimummod'modmodelVariablesmovingAverageVariables multinomial' multinomial multiply'multiply nameScope negative'negativenoOp noRegularizernorm'norm notEqual'notEqualoneHot'oneHotones'ones onesLike'onesLikeopScopepad'padparallelStack' parallelStack parseExample' parseExampleparseSingleExample'parseSingleExampleparseSingleSequenceExample'parseSingleSequenceExample parseTensor' parseTensor placeholder' placeholderplaceholderWithDefault'placeholderWithDefault polygamma' polygammapow'powpyFunc'pyFuncqr'qr quantizeV2' quantizeV2quantizedConcat'quantizedConcat randomCrop' randomCrop randomGamma' randomGamma randomNormal' randomNormalrandomPoisson' randomPoissonrandomShuffle' randomShufflerandomUniform' randomUniformrange'rangerank'rank readFile'readFilereal'realrealdiv'realdiv reciprocal' reciprocal reduceAll' reduceAll reduceAny' reduceAny reduceJoin' reduceJoinreduceLogsumexp'reduceLogsumexp reduceMax' reduceMax reduceMean' reduceMean reduceMin' reduceMin reduceProd' reduceProd reduceSum' reduceSum!registerTensorConversionFunction' registerTensorConversionFunctionreportUninitializedVariablesrequiredSpaceToBatchPaddings'requiredSpaceToBatchPaddingsresetDefaultGraphreshape'reshapereverse'reversereverseSequence'reverseSequence reverseV2' reverseV2rint'rintround'roundrsqrt'rsqrt saturateCast' saturateCast scalarMulscan'scan scatterAdd' scatterAdd scatterDiv' scatterDiv scatterMul' scatterMul scatterNd' scatterNd scatterNdAdd' scatterNdAdd scatterNdSub' scatterNdSubscatterNdUpdate'scatterNdUpdate scatterSub' scatterSubscatterUpdate' scatterUpdate segmentMax' segmentMax segmentMean' segmentMean segmentMin' segmentMin segmentProd' segmentProd segmentSum' segmentSumselfAdjointEig'selfAdjointEigselfAdjointEigvals'selfAdjointEigvals sequenceMask' sequenceMaskserializeManySparse'serializeManySparseserializeSparse'serializeSparse setRandomSeed setdiff1d' setdiff1dshape'shapeshapeN'shapeNsigmoid'sigmoidsign'signsin'size'sizeslice'slice spaceToBatch' spaceToBatchspaceToBatchNd'spaceToBatchNd spaceToDepth' spaceToDepth sparseAdd' sparseAdd sparseConcat' sparseConcatsparseFillEmptyRows'sparseFillEmptyRows sparseMask' sparseMask sparseMatmul' sparseMatmulsparseMaximum' sparseMaximum sparseMerge' sparseMergesparseMinimum' sparseMinimumsparsePlaceholder'sparsePlaceholdersparseReduceSum'sparseReduceSumsparseReduceSumSparse'sparseReduceSumSparsesparseReorder' sparseReordersparseResetShape'sparseResetShapesparseReshape' sparseReshape sparseRetainsparseSegmentMean'sparseSegmentMeansparseSegmentSqrtN'sparseSegmentSqrtNsparseSegmentSum'sparseSegmentSumsparseSoftmax' sparseSoftmax sparseSplitsparseTensorDenseMatmul'sparseTensorDenseMatmulsparseTensorToDense'sparseTensorToDensesparseToDense' sparseToDensesparseToIndicator'sparseToIndicatorsparseTranspose'sparseTransposesplit'splitsqrt'sqrtsquare'squaresquaredDifference'squaredDifferencesqueeze'squeezestack'stack stopGradient' stopGradient stridedSlice' stridedSlice stringJoin' stringJoin stringSplit' stringSplitstringToHashBucket'stringToHashBucketstringToHashBucketFast'stringToHashBucketFaststringToHashBucketStrong'stringToHashBucketStrongstringToNumber'stringToNumbersubstr'substr subtract'subtractsvd'svdtablesInitializertan'tanh'tanh tensordot' tensordottile'tile toBfloat16' toBfloat16 toDouble'toDoubletoFloat'toFloattoInt32'toInt32toInt64'toInt64trace'tracetrainableVariables transpose' transposetruediv'truedivtruncatedNormal'truncatedNormal truncatediv' truncatediv truncatemod' truncatemodtuple'tupleunique'uniqueuniqueWithCounts'uniqueWithCountsunsortedSegmentMax'unsortedSegmentMaxunsortedSegmentSum'unsortedSegmentSumunstack'unstackvariableAxisSizePartitioner'variableAxisSizePartitionervariableOpScope variableScopevariablesInitializer'variablesInitializerverifyTensorAllFinite'verifyTensorAllFinitetfwhere'tfwhere whileLoop' whileLoop writeFile' writeFilezeros'zeros zerosLike' zerosLikezeta'zetaallCandidateSampler'allCandidateSampler atrousConv2d' atrousConv2datrousConv2dTranspose'atrousConv2dTransposeavgPool'avgPool avgPool3d' avgPool3d!batchNormWithGlobalNormalization' batchNormWithGlobalNormalizationbatchNormalization'batchNormalizationbiasAdd'biasAddbidirectionalDynamicRnn'bidirectionalDynamicRnncomputeAccidentalHits'computeAccidentalHitsconv1d'conv1dconv2d'conv2dconv2dBackpropFilter'conv2dBackpropFilterconv2dBackpropInput'conv2dBackpropInputconv2dTranspose'conv2dTransposeconv3d'conv3dconv3dBackpropFilterV2'conv3dBackpropFilterV2conv3dTranspose'conv3dTranspose convolution' convolutioncrelu'creluctcBeamSearchDecoder'ctcBeamSearchDecoderctcGreedyDecoder'ctcGreedyDecoderctcLoss'ctcLossdepthwiseConv2d'depthwiseConv2ddepthwiseConv2dNative'depthwiseConv2dNative$depthwiseConv2dNativeBackpropFilter'#depthwiseConv2dNativeBackpropFilter#depthwiseConv2dNativeBackpropInput'"depthwiseConv2dNativeBackpropInput dilation2d' dilation2ddropout'dropout dynamicRnn' dynamicRnnelu'eluembeddingLookup'embeddingLookupembeddingLookupSparse'embeddingLookupSparse erosion2d' erosion2dfixedUnigramCandidateSampler'fixedUnigramCandidateSamplerfractionalAvgPool'fractionalAvgPoolfractionalMaxPool'fractionalMaxPoolfusedBatchNorm'fusedBatchNorminTopK'inTopKl2Loss'l2Loss l2Normalize' l2NormalizelearnedUnigramCandidateSampler'learnedUnigramCandidateSamplerlocalResponseNormalization'localResponseNormalizationlogPoissonLoss'logPoissonLoss logSoftmax' logSoftmaxlogUniformCandidateSampler'logUniformCandidateSamplerlrn'lrnmaxPool'maxPool maxPool3d' maxPool3dmaxPoolWithArgmax'maxPoolWithArgmaxmoments'momentsnceLoss'nceLossnormalizeMoments'normalizeMomentspool'poolquantizedAvgPool'quantizedAvgPoolquantizedConv2d'quantizedConv2dquantizedMaxPool'quantizedMaxPoolquantizedReluX'quantizedReluXrawRnn'rawRnnrelu'relurelu6'relu6 reluLayer' reluLayersampledSoftmaxLoss'sampledSoftmaxLossseparableConv2d'separableConv2dsigmoidCrossEntropyWithLogitssoftmax'softmaxsoftmaxCrossEntropyWithLogits softplus'softplus softsign'softsign#sparseSoftmaxCrossEntropyWithLogitsstaticBidirectionalRnn'staticBidirectionalRnn staticRnn' staticRnnstaticStateSavingRnn'staticStateSavingRnnsufficientStatistics'sufficientStatisticstopK'topKuniformCandidateSampler'uniformCandidateSamplerweightedCrossEntropyWithLogits'weightedCrossEntropyWithLogitsweightedMoments'weightedMomentswithSpaceToBatch'withSpaceToBatchxwPlusB'xwPlusB zeroFraction' zeroFractionmonitoredTrainingSessionnewCheckpointReaderaddQueueRunner'addQueueRunnerassertGlobalStepbasicTrainLoop'basicTrainLoopbatch'batch batchJoin' batchJoincheckpointExistscreateGlobalStepdoQuantizeTrainingOnGraphdefexponentialDecay'exponentialDecayexportMetaGraphgenerateCheckpointStateProto'generateCheckpointStateProtogetCheckpointMtimesgetCheckpointState'getCheckpointState getGlobalStepgetOrCreateGlobalStep globalStepimportMetaGraph'importMetaGraphinputProducer' inputProducerinverseTimeDecay'inverseTimeDecaylatestCheckpoint'latestCheckpoint limitEpochs' limitEpochsmatchFilenamesOnce'matchFilenamesOnce maybeBatch' maybeBatchmaybeBatchJoin'maybeBatchJoinmaybeShuffleBatch'maybeShuffleBatchmaybeShuffleBatchJoin'maybeShuffleBatchJoinnaturalExpDecay'naturalExpDecaypiecewiseConstant'piecewiseConstantpolynomialDecay'polynomialDecayrangeInputProducer'rangeInputProducerreplicaDeviceSetter sdcaFprint' sdcaFprintsdcaOptimizer' sdcaOptimizer sdcaShrinkL1' sdcaShrinkL1 shuffleBatch' shuffleBatchshuffleBatchJoin'shuffleBatchJoinsliceInputProducer'sliceInputProducerstartQueueRunnersstringInputProducer'stringInputProducersummaryIteratorupdateCheckpointState'updateCheckpointState writeGraph' writeGraph