<MathFullForm `times[(*i1i*)id[(*i1i*)times[id[comma[char[sigma],char[i]]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
char[f]]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)y],
id[(*i1i*)times[indexes[0,1,char[s],char[i]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
char[f]]]]'
> # end of MathFullForm
<MathLineBreak 138.88887">
<MathOrigin 0.73188" 0.12847">
<MathAlignment Center>
<MathSize MathMedium>
> # end of Math
> # end of Frame
<Frame
<ID 63>
<Unique 36619>
<Pen 15>
<Fill 15>
<PenWidth 1.0 pt>
<Separation 0>
<ObColor `Black'>
<DashedPattern
<DashedStyle Solid>
> # end of DashedPattern
<RunaroundGap 6.0 pt>
<RunaroundType None>
<Angle 360.0>
<Overprint No>
<ShapeRect 1.70974" 1.56597" 4.204" 0.2097">
<BRect 1.70974" 1.56597" 4.204" 0.2097">
<FrameType Inline>
<NSOffset 0.0">
<BLOffset -0.08123">
<AnchorAlign Center>
<Cropped No>
<Math
<Unique 36620>
<RunaroundGap 0.0 pt>
<Overprint No>
<BRect 0.01352" 0.01389" 4.17696" 0.18193">
<MathFullForm `times[id[(*i1i*)times[id[comma[char[sigma],char[i]]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
char[g],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)U],
char[h]]],string[(*f"JS O Temp Log"f*)"y"],id[exists[geq[(*n*)times[substitution[
<MathFullForm `times[char[(*f"JS O Temp Log"fV"Regular"VB"Regular"Bo0oR0Rq"Black"q*)h],char[(*f"JS O Temp Log"fV"Regular"VB"Regular"Bo0oR0Rq"Black"q*)e],
<MathFullForm `wedge[times[function[times[char[d],char[e],char[s]],char[M]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)y],
(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)h],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)e],
char[e],char[n],function[char[b],char[tau]]],times[char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)h],
char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)e],id[
<MathFullForm `times[char[b],char[o],char[u],char[n],function[char[d],char[tau]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)y],
char[m],char[o],function[char[e],char[tau]],string[(*f"JS O Temp Log"f*)"i"],times[
(*n*)id[(*i1i*)times[indexes[0,1,string[(*f"JS O Temp Log"f*)"h"],times[num[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)9.00000000,
"9"],char[l]]],times[(*n*)char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)n],
id[notequal[char[epsilon],char[tau]]]]]],string[(*f"JS O Temp Log"f*)"a"],id[(*i1i*)times[
(*n*)char[e],function[times[char[n],char[b]],char[tau]],indexes[0,1,string[(*f"JS O Temp Log"f*)"U"],
times[(*x-54013x*)string[(*f"JS O Temp Log"f*)"l"],char[u]]],lparen[(*n*)char[epsilon]],
string[(*f"JS O Temp Log"f*)"r"],char[tau],string[(*f"JS O Temp Log"f*)"o"],string[
(*f"JS O Temp Log"f*)"d"],rparen[times[char[e],function[times[char[n],char[b]],char[
tau]]]]]]]]'
> # end of MathFullForm
<MathLineBreak 138.88887">
<MathOrigin 2.25702" 0.12847">
<MathAlignment Center>
<MathSize MathMedium>
> # end of Math
> # end of Frame
<Frame
<ID 259>
<Unique 14069>
<Pen 15>
<Fill 15>
<PenWidth 1.0 pt>
<Separation 0>
<ObColor `Black'>
<DashedPattern
<DashedStyle Solid>
> # end of DashedPattern
<RunaroundGap 0.0 pt>
<RunaroundType None>
<Angle 360.0>
<Overprint No>
<ShapeRect 1.95924" 0.98264" 3.14026" 0.19444">
<BRect 1.95924" 0.98264" 3.14026" 0.19444">
<FrameType Inline>
<NSOffset 0.0">
<BLOffset -0.06597">
<AnchorAlign Center>
<Cropped No>
<Math
<Unique 14070>
<Overprint No>
<BRect 0.0132" 0.01389" 3.11386" 0.16667">
<MathFullForm `wedge[times[char[m],char[o],function[char[e],char[tau]],string[(*f"JS O Temp Log"f*)"y"],
<MathFullForm `id[wedge[times[char[e],function[times[char[n],char[b]],char[tau]]],times[num[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)1.00000000,
<MathFullForm `times[indexes[0,1,string[(*f"JS O Temp Log"f*)"h"],times[num[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)9.00000000,
"9"],char[l]]],id[(*i1i*)times[char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)n],
<MathFullForm `times[char[b],char[o],char[u],char[n],function[char[d],char[M]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)y],
<MathFullForm `rightarrow[wedge[id[(*i1i*)times[indexes[0,1,char[m],num[1.00000000,"1"]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
(*n*)char[(*n*)r],char[(*n*)e],char[(*n*)l],char[(*n*)a],char[(*n*)y]]]],char[(*s12.00sf"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
char[p]]'
> # end of MathFullForm
<MathLineBreak 138.88887">
<MathOrigin 0.84737" 0.13889">
<MathAlignment Center>
<MathSize MathMedium>
> # end of Math
> # end of Frame
<Frame
<ID 453>
<Unique 16635>
<Pen 15>
<Fill 15>
<PenWidth 1.0 pt>
<Separation 0>
<ObColor `Black'>
<DashedPattern
<DashedStyle Solid>
> # end of DashedPattern
<RunaroundGap 0.0 pt>
<RunaroundType None>
<Angle 360.0>
<Overprint No>
<ShapeRect 2.57385" 9.30755" 3.61651" 0.56548">
<BRect 2.57385" 9.30755" 3.61651" 0.56548">
<FrameType Inline>
<NSOffset 0.0">
<BLOffset -0.25668">
<AnchorAlign Center>
<Cropped No>
<Math
<Unique 16636>
<Overprint No>
<BRect 0.02092" 0.01389" 3.57468" 0.5377">
<MathFullForm `id[(*i1i*)atop[(*j1j*)id[(*i1i*)Rightarrow[(*n*)times[indexes[0,1,char[(*f"JS O Temp Log"fV"Regular"VB"Regular"Bo0oR0Rq"Black"q*)h],
times[num[(*f"JS O Temp Log"fV"Regular"VB"Regular"Bo0oR0Rq"Black"q*)9.00000000,"9"],
<MathFullForm `equiv[id[(*i1i*)times[indexes[0,1,char[m],num[1.00000000,"1"]],char[(*s12.00sf"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
"1"]],indexes[0,1,char[m],num[2.00000000,"2"]]]],char[(*s12.00sf"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
char[p]]]'
> # end of MathFullForm
<MathLineBreak 138.88887">
<MathOrigin 1.19025" 0.13889">
<MathAlignment Center>
<MathSize MathMedium>
> # end of Math
> # end of Frame
<Frame
<ID 469>
<Unique 17181>
<Pen 15>
<Fill 15>
<PenWidth 1.0 pt>
<Separation 0>
<ObColor `Black'>
<DashedPattern
<DashedStyle Solid>
> # end of DashedPattern
<RunaroundGap 0.0 pt>
<RunaroundType None>
<Angle 360.0>
<Overprint No>
<ShapeRect 1.88849" 8.88889" 1.34325" 0.2375">
<BRect 1.88849" 8.88889" 1.34325" 0.2375">
<FrameType Inline>
<NSOffset 0.0">
<BLOffset -0.09861">
<AnchorAlign Center>
<Cropped No>
<Math
<Unique 17182>
<Overprint No>
<BRect 0.01357" 0.01389" 1.31611" 0.20972">
<MathFullForm `id[(*i1i*)times[indexes[0,1,char[m],num[1.00000000,"1"]],char[(*s12.00sf"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
<MathFullForm `times[char[alpha,3,0,0,0,0],id[comma[char[q],times[char[q],char[prime]]]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)y],
<MathFullForm `equiv[(*n*)id[(*i1i*)times[(*n*)indexes[0,1,char[M],num[1.00000000,"1"]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
id[rightarrow[(*n*)times[char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)h],
char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)e],id[
<MathFullForm `id[(*i1i*)atop[(*n*)times[indexes[0,1,char[r],num[1.00000000,"1"]],char[(*A1Af"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)y],
1.00000000,"1"]]]]]]]]]]]],times[indexes[0,1,char[s],num[1.00000000,"1"]],char[(*A1Af"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)y],
<MathFullForm `equiv[(*n*)id[(*i1i*)times[(*n*)indexes[0,1,char[m],num[1.00000000,"1"]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
char[s]]],id[(*i1i*)times[(*n*)indexes[0,1,char[m],num[2.00000000,"2"]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
<MathFullForm `equiv[(*n*)id[(*i1i*)times[(*n*)indexes[0,1,char[m],num[1.00000000,"1"]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
char[s]]],id[(*i1i*)times[(*n*)indexes[0,1,char[m],num[2.00000000,"2"]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],
<MathFullForm `times[rparen[(*i2i*)atop[times[indexes[0,1,char[m],num[1.00000000,"1"]],char[(*f"JS O Temp Log"fV"Regular"VW"Medium"WB"Regular"Bo0oR0RC0Cq"Black"q*)m],