\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\zref@newlabel{thepage1}{\page{1}\pagevalue{1}\mag{1000}\paperwidth{39158276}\paperheight{55380990}\stockwidth{0}\stockheight{0}\pdfpagewidth{39158276}\pdfpageheight{55380990}\pdfhorigin{4736286}\pdfvorigin{4736286}\hoffset{0}\voffset{0}\topmargin{-6228779}\oddsidemargin{-3803947}\evensidemargin{-3803947}\textwidth{37293598}\textheight{53516312}\headheight{786432}\headsep{1638400}\footskip{1966080}\marginparwidth{3866624}\marginparsep{655360}\columnwidth{37293598}\columnsep{655360}\outputboxwd{511.01152pt}\outputboxht{788.55049pt}\outputboxdp{0.0pt}}
\ifx\qr@savematrix\@undefined\def\qr@savematrix{\begingroup\let\do\@makeother\dospecials\catcode`\{=1\catcode`\}=2\relax \qr@savematrix@int}\def\qr@savematrix@int#1#2#3#4{\endgroup}\fi
\qr@savematrix{http://drorbn.net/mc26}{2}{0}{1111111001000010101111111100000101011111000100000110111010110000111010111011011101011100100001011101101110100100010010101110110000010000000101010000011111111010101010101111111000000001110001010000000010000010110101110110011101111010100111011000111110000100101000010101001101101011000001110111100010011001101011010010101000001110111000000101111010001010000111111001010010010111010100000001011000110101100101101000110011111010000000000110000101000101001111111000001000101011001100000100111000010001000010111010011100011111111111011101000101110011001011101110100000011010010010110000010001011001011100011111111010011100110001001}
\zref@newlabel{proof-start}{\posx{932339}\posy{28966468}\abspage{1}\pagevalue{1}}
\zref@newlabel{proof-end}{\posx{932339}\posy{11580956}\abspage{1}\pagevalue{1}}
\qr@savematrix{http://youtu.be/RhpVSV6iCko}{2}{1}{1111111010011010001111111100000100110011000100000110111010001011001010111011011101000001100001011101101110100101000110101110110000010001010000010000011111111010101010101111111000000001011011110000000011011010011111101010000011011110111001001110111110110011100011010110110100111101001011000000011111111010011111001101101100001110111001101010111001001011001010100000011110011111010110101011001101000101100101110000100111111011000000000100000101000100101111111000010000101011001100000100001111110001001010111010111010011111110001011101010100000011101011101110100011010010011011110000010101110000011101111111111010001001101001001}
\zref@newlabel{thepage2}{\page{2}\pagevalue{2}\mag{1000}\paperwidth{39158276}\paperheight{55380990}\stockwidth{0}\stockheight{0}\pdfpagewidth{39158276}\pdfpageheight{55380990}\pdfhorigin{4736286}\pdfvorigin{4736286}\hoffset{0}\voffset{0}\topmargin{-6228779}\oddsidemargin{-3803947}\evensidemargin{-3803947}\textwidth{37293598}\textheight{53516312}\headheight{786432}\headsep{1638400}\footskip{1966080}\marginparwidth{3866624}\marginparsep{655360}\columnwidth{37293598}\columnsep{655360}\outputboxwd{511.01152pt}\outputboxht{788.55049pt}\outputboxdp{0.0pt}}
\zref@newlabel{dance-start}{\posx{932339}\posy{52640310}\abspage{2}\pagevalue{2}}
\zref@newlabel{dance-end}{\posx{932339}\posy{26207590}\abspage{2}\pagevalue{2}}
\qr@savematrix{https://drorbn.net/AcademicPensieve/2015-01/Commutators/LeadingQuestions.mp4}{4}{1}{111111100111100011110110001111111100000101110101111001100001000001101110100100100100000101101011101101110101100011100001010101011101101110100001010010110101001011101100000101010000111100110001000001111111101010101010101010101111111000000000000001110000110100000000111110111111111101001011110101010111011000101010011110001001000111000010111100111101001010011111010101010011111000110001100001010100000001110101111001010011110111000111111011111100111110111001100011110011100100011110001000010110010000110010001101010001110010010100000111100110001001001010110110010010011011101001001110001011001011100100101000100110001100110111010110100000101001000000110000100100110001111101111111001010100110010111001001001001010010101001001011100101110110001100000110011111010101010010101001000000110111101100101110111111111111001010111110001000000001101000010010110100011101111111101010001110000011101010110100000100100101010110101100011100101110101011111001001010111111011101110101101001010110101010010100101110101100110100101110100000010100000101110001110011110000011100111111101000011111010001110010010}
\gdef \@abspage@last{2}