@@ -1,350 +0,0 @@
1−<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2−<html xmlns="http://www.w3.org/1999/xhtml"
3−><head
4− ><title
5− >title</title
6− ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
7− /><meta name="generator" content="pandoc"
8− /><meta name="author" content="$authors$"
9− /><meta name="date" content="$date$"
10− /><!-- configuration parameters -->
11−<meta name="defaultView" content="slideshow" />
12−<meta name="controlVis" content="hidden" />
13−<style type="text/css" media="projection" id="slideProj">
14−/* Do not edit or override these styles! The system will likely break if you do. */
15−
16−div#header, div#footer, div#controls, .slide {position: absolute;}
17−html>body div#header, html>body div#footer,
18− html>body div#controls, html>body .slide {position: fixed;}
19−.handout {display: none;}
20−.layout {display: block;}
21−.slide, .hideme, .incremental {visibility: hidden;}
22−#slide0 {visibility: visible;}
23−
24−/* The following styles size, place, and layer the slide components.
25− Edit these if you want to change the overall slide layout.
26− The commented lines can be uncommented (and modified, if necessary)
27− to help you with the rearrangement process. */
28−
29−/* target = 1024x768 */
30−
31−div#header, div#footer, .slide {width: 100%; top: 0; left: 0;}
32−div#header {top: 0; height: 3em; z-index: 1;}
33−div#footer {top: auto; bottom: 0; height: 2.5em; z-index: 5;}
34−.slide {top: 0; width: 92%; padding: 3.5em 4% 4%; z-index: 2; list-style: none;}
35−div#controls {left: 50%; bottom: 0; width: 50%; z-index: 100;}
36−div#controls form {position: absolute; bottom: 0; right: 0; width: 100%;
37− margin: 0;}
38−#currentSlide {position: absolute; width: 10%; left: 45%; bottom: 1em; z-index: 10;}
39−html>body #currentSlide {position: fixed;}
40−
41−/*
42−div#header {background: #FCC;}
43−div#footer {background: #CCF;}
44−div#controls {background: #BBD;}
45−div#currentSlide {background: #FFC;}
46−*/
47−
48−/* Following are the presentation styles -- edit away! */
49−
50−body {background: #FFF url(bodybg.gif) -16px 0 no-repeat; color: #000; font-size: 2em;}
51−:link, :visited {text-decoration: none; color: #00C;}
52−#controls :active {color: #88A !important;}
53−#controls :focus {outline: 1px dotted #227;}
54−h1, h2, h3, h4 {font-size: 100%; margin: 0; padding: 0; font-weight: inherit;}
55−ul, pre {margin: 0; line-height: 1em;}
56−html, body {margin: 0; padding: 0;}
57−
58−blockquote, q {font-style: italic;}
59−blockquote {padding: 0 2em 0.5em; margin: 0 1.5em 0.5em; text-align: center; font-size: 1em;}
60−blockquote p {margin: 0;}
61−blockquote i {font-style: normal;}
62−blockquote b {display: block; margin-top: 0.5em; font-weight: normal; font-size: smaller; font-style: normal;}
63−blockquote b i {font-style: italic;}
64−
65−kbd {font-weight: bold; font-size: 1em;}
66−sup {font-size: smaller; line-height: 1px;}
67−
68−.slide code {padding: 2px 0.25em; font-weight: bold; color: #533;}
69−.slide code.bad, code del {color: red;}
70−.slide code.old {color: silver;}
71−.slide pre {padding: 0; margin: 0.25em 0 0.5em 0.5em; color: #533; font-size: 90%;}
72−.slide pre code {display: block;}
73−.slide ul {margin-left: 5%; margin-right: 7%; list-style: disc;}
74−.slide li {margin-top: 0.75em; margin-right: 0;}
75−.slide ul ul {line-height: 1;}
76−.slide ul ul li {margin: .2em; font-size: 85%; list-style: square;}
77−.slide img.leader {display: block; margin: 0 auto;}
78−
79−div#header, div#footer {background: #005; color: #AAB;
80− font-family: Verdana, Helvetica, sans-serif;}
81−div#header {background: #005 url(bodybg.gif) -16px 0 no-repeat;
82− line-height: 1px;}
83−div#footer {font-size: 0.5em; font-weight: bold; padding: 1em 0;}
84−#footer h1, #footer h2 {display: block; padding: 0 1em;}
85−#footer h2 {font-style: italic;}
86−
87−div.long {font-size: 0.75em;}
88−.slide h1 {position: absolute; top: 0.7em; left: 87px; z-index: 1;
89− margin: 0; padding: 0.3em 0 0 50px; white-space: nowrap;
90− font: bold 150%/1em Helvetica, sans-serif; text-transform: capitalize;
91− color: #DDE; background: #005;}
92−.slide h3 {font-size: 130%;}
93−h1 abbr {font-variant: small-caps;}
94−
95−div#controls {position: absolute; left: 50%; bottom: 0;
96− width: 50%;
97− text-align: right; font: bold 0.9em Verdana, Helvetica, sans-serif;}
98−html>body div#controls {position: fixed; padding: 0 0 1em 0;
99− top: auto;}
100−div#controls form {position: absolute; bottom: 0; right: 0; width: 100%;
101− margin: 0; padding: 0;}
102−#controls #navLinks a {padding: 0; margin: 0 0.5em;
103− background: #005; border: none; color: #779;
104− cursor: pointer;}
105−#controls #navList {height: 1em;}
106−#controls #navList #jumplist {position: absolute; bottom: 0; right: 0; background: #DDD; color: #227;}
107−
108−#currentSlide {text-align: center; font-size: 0.5em; color: #449;}
109−
110−#slide0 {padding-top: 3.5em; font-size: 90%;}
111−#slide0 h1 {position: static; margin: 1em 0 0; padding: 0;
112− font: bold 2em Helvetica, sans-serif; white-space: normal;
113− color: #000; background: transparent;}
114−#slide0 h2 {font: bold italic 1em Helvetica, sans-serif; margin: 0.25em;}
115−#slide0 h3 {margin-top: 1.5em; font-size: 1.5em;}
116−#slide0 h4 {margin-top: 0; font-size: 1em;}
117−
118−ul.urls {list-style: none; display: inline; margin: 0;}
119−.urls li {display: inline; margin: 0;}
120−.note {display: none;}
121−.external {border-bottom: 1px dotted gray;}
122−html>body .external {border-bottom: none;}
123−.external:after {content: " \274F"; font-size: smaller; color: #77B;}
124−
125−.incremental, .incremental *, .incremental *:after {color: #DDE; visibility: visible;}
126−img.incremental {visibility: hidden;}
127−.slide .current {color: #B02;}
128−
129−
130−/* diagnostics
131−
132−li:after {content: " [" attr(class) "]"; color: #F88;}
133−*/
134−
135−</style>
136−<style type="text/css" media="projection" id="operaFix">
137−/* DO NOT CHANGE THESE unless you really want to break Opera Show */
138−.slide {
139− visibility: visible !important;
140− position: static !important;
141− page-break-before: always;
142−}
143−#slide0 {page-break-before: avoid;}
144−
145−</style>
146−<style type="text/css" media="screen" id="outlineStyle">
147−/* don't change this unless you want the layout stuff to show up in the outline view! */
148−
149−.layout div, #footer *, #controlForm * {display: none;}
150−#footer, #controls, #controlForm, #navLinks, #toggle {
151− display: block; visibility: visible; margin: 0; padding: 0;}
152−#toggle {float: right; padding: 0.5em;}
153−html>body #toggle {position: fixed; top: 0; right: 0;}
154−
155−/* making the outline look pretty-ish */
156−
157−#slide0 h1, #slide0 h2, #slide0 h3, #slide0 h4 {border: none; margin: 0;}
158−#slide0 h1 {padding-top: 1.5em;}
159−.slide h1 {margin: 1.5em 0 0; padding-top: 0.25em;
160− border-top: 1px solid #888; border-bottom: 1px solid #AAA;}
161−#toggle {border: 1px solid; border-width: 0 0 1px 1px; background: #FFF;}
162−
163−</style>
164−<style type="text/css" media="print" id="slidePrint">
165−/* The following rule is necessary to have all slides appear in print! DO NOT REMOVE IT! */
166−.slide, ul {page-break-inside: avoid; visibility: visible !important;}
167−h1 {page-break-after: avoid;}
168−
169−body {font-size: 12pt; background: white;}
170−* {color: black;}
171−
172−#slide0 h1 {font-size: 200%; border: none; margin: 0.5em 0 0.25em;}
173−#slide0 h3 {margin: 0; padding: 0;}
174−#slide0 h4 {margin: 0 0 0.5em; padding: 0;}
175−#slide0 {margin-bottom: 3em;}
176−
177−h1 {border-top: 2pt solid gray; border-bottom: 1px dotted silver;}
178−.extra {background: transparent !important;}
179−div.extra, pre.extra, .example {font-size: 10pt; color: #333;}
180−ul.extra a {font-weight: bold;}
181−p.example {display: none;}
182−
183−#header {display: none;}
184−#footer h1 {margin: 0; border-bottom: 1px solid; color: gray; font-style: italic;}
185−#footer h2, #controls {display: none;}
186−
187−/* The following rule keeps the layout stuff out of print. Remove at your own risk! */
188−.layout, .layout * {display: none !important;}
189−
190−</style>
191−<script type="text/javascript">
192−// S5 v1.1 slides.js -- released into the Public Domain
193−//
194−// Please see http://www.meyerweb.com/eric/tools/s5/credits.html for information
195−// about all the wonderful and talented contributors to this code!
196−var undef;var slideCSS='';var snum=0;var smax=1;var incpos=0;var number=undef;var s5mode=true;var defaultView='slideshow';var controlVis='visible';var isIE=navigator.appName=='Microsoft Internet Explorer'&&navigator.userAgent.indexOf('Opera')<1?1:0;var isOp=navigator.userAgent.indexOf('Opera')>-1?1:0;var isGe=navigator.userAgent.indexOf('Gecko')>-1&&navigator.userAgent.indexOf('Safari')<1?1:0;function hasClass(object,className){if(!object.className)return false;return(object.className.search('(^|\\s)'+className+'(\\s|$)')!=-1);}
197−function hasValue(object,value){if(!object)return false;return(object.search('(^|\\s)'+value+'(\\s|$)')!=-1);}
198−function removeClass(object,className){if(!object)return;object.className=object.className.replace(new RegExp('(^|\\s)'+className+'(\\s|$)'),RegExp.$1+RegExp.$2);}
199−function addClass(object,className){if(!object||hasClass(object,className))return;if(object.className){object.className+=' '+className;}else{object.className=className;}}
200−function GetElementsWithClassName(elementName,className){var allElements=document.getElementsByTagName(elementName);var elemColl=new Array();for(var i=0;i<allElements.length;i++){if(hasClass(allElements[i],className)){elemColl[elemColl.length]=allElements[i];}}
201−return elemColl;}
202−function isParentOrSelf(element,id){if(element==null||element.nodeName=='BODY')return false;else if(element.id==id)return true;else return isParentOrSelf(element.parentNode,id);}
203−function nodeValue(node){var result="";if(node.nodeType==1){var children=node.childNodes;for(var i=0;i<children.length;++i){result+=nodeValue(children[i]);}}
204−else if(node.nodeType==3){result=node.nodeValue;}
205−return(result);}
206−function slideLabel(){var slideColl=GetElementsWithClassName('*','slide');var list=document.getElementById('jumplist');smax=slideColl.length;for(var n=0;n<smax;n++){var obj=slideColl[n];var did='slide'+n.toString();obj.setAttribute('id',did);if(isOp)continue;var otext='';var menu=obj.firstChild;if(!menu)continue;while(menu&&menu.nodeType==3){menu=menu.nextSibling;}
207−if(!menu)continue;var menunodes=menu.childNodes;for(var o=0;o<menunodes.length;o++){otext+=nodeValue(menunodes[o]);}
208−list.options[list.length]=new Option(n+' : '+otext,n);}}
209−function currentSlide(){var cs;if(document.getElementById){cs=document.getElementById('currentSlide');}else{cs=document.currentSlide;}
210−cs.innerHTML='<span id="csHere">'+snum+'<\/span> '+'<span id="csSep">\/<\/span> '+'<span id="csTotal">'+(smax-1)+'<\/span>';if(snum==0){cs.style.visibility='hidden';}else{cs.style.visibility='visible';}}
211−function go(step){if(document.getElementById('slideProj').disabled||step==0)return;var jl=document.getElementById('jumplist');var cid='slide'+snum;var ce=document.getElementById(cid);if(incrementals[snum].length>0){for(var i=0;i<incrementals[snum].length;i++){removeClass(incrementals[snum][i],'current');removeClass(incrementals[snum][i],'incremental');}}
212−if(step!='j'){snum+=step;lmax=smax-1;if(snum>lmax)snum=lmax;if(snum<0)snum=0;}else
213−snum=parseInt(jl.value);var nid='slide'+snum;var ne=document.getElementById(nid);if(!ne){ne=document.getElementById('slide0');snum=0;}
214−if(step<0){incpos=incrementals[snum].length}else{incpos=0;}
215−if(incrementals[snum].length>0&&incpos==0){for(var i=0;i<incrementals[snum].length;i++){if(hasClass(incrementals[snum][i],'current'))
216−incpos=i+1;else
217−addClass(incrementals[snum][i],'incremental');}}
218−if(incrementals[snum].length>0&&incpos>0)
219−addClass(incrementals[snum][incpos-1],'current');ce.style.visibility='hidden';ne.style.visibility='visible';jl.selectedIndex=snum;currentSlide();number=0;}
220−function goTo(target){if(target>=smax||target==snum)return;go(target-snum);}
221−function subgo(step){if(step>0){removeClass(incrementals[snum][incpos-1],'current');removeClass(incrementals[snum][incpos],'incremental');addClass(incrementals[snum][incpos],'current');incpos++;}else{incpos--;removeClass(incrementals[snum][incpos],'current');addClass(incrementals[snum][incpos],'incremental');addClass(incrementals[snum][incpos-1],'current');}}
222−function toggle(){var slideColl=GetElementsWithClassName('*','slide');var slides=document.getElementById('slideProj');var outline=document.getElementById('outlineStyle');if(!slides.disabled){slides.disabled=true;outline.disabled=false;s5mode=false;fontSize('1em');for(var n=0;n<smax;n++){var slide=slideColl[n];slide.style.visibility='visible';}}else{slides.disabled=false;outline.disabled=true;s5mode=true;fontScale();for(var n=0;n<smax;n++){var slide=slideColl[n];slide.style.visibility='hidden';}
223−slideColl[snum].style.visibility='visible';}}
224−function showHide(action){var obj=GetElementsWithClassName('*','hideme')[0];switch(action){case's':obj.style.visibility='visible';break;case'h':obj.style.visibility='hidden';break;case'k':if(obj.style.visibility!='visible'){obj.style.visibility='visible';}else{obj.style.visibility='hidden';}
225−break;}}
226−function keys(key){if(!key){key=event;key.which=key.keyCode;}
227−if(key.which==84){toggle();return;}
228−if(s5mode){switch(key.which){case 10:case 13:if(window.event&&isParentOrSelf(window.event.srcElement,'controls'))return;if(key.target&&isParentOrSelf(key.target,'controls'))return;if(number!=undef){goTo(number);break;}
229−case 32:case 34:case 39:case 40:if(number!=undef){go(number);}else if(!incrementals[snum]||incpos>=incrementals[snum].length){go(1);}else{subgo(1);}
230−break;case 33:case 37:case 38:if(number!=undef){go(-1*number);}else if(!incrementals[snum]||incpos<=0){go(-1);}else{subgo(-1);}
231−break;case 36:goTo(0);break;case 35:goTo(smax-1);break;case 67:showHide('k');break;}
232−if(key.which<48||key.which>57){number=undef;}else{if(window.event&&isParentOrSelf(window.event.srcElement,'controls'))return;if(key.target&&isParentOrSelf(key.target,'controls'))return;number=(((number!=undef)?number:0)*10)+(key.which-48);}}
233−return false;}
234−function clicker(e){number=undef;var target;if(window.event){target=window.event.srcElement;e=window.event;}else target=e.target;if(target.getAttribute('href')!=null||hasValue(target.rel,'external')||isParentOrSelf(target,'controls')||isParentOrSelf(target,'embed')||isParentOrSelf(target,'object'))return true;if(!e.which||e.which==1){if(!incrementals[snum]||incpos>=incrementals[snum].length){go(1);}else{subgo(1);}}}
235−function findSlide(hash){var target=null;var slides=GetElementsWithClassName('*','slide');for(var i=0;i<slides.length;i++){var targetSlide=slides[i];if((targetSlide.name&&targetSlide.name==hash)||(targetSlide.id&&targetSlide.id==hash)){target=targetSlide;break;}}
236−while(target!=null&&target.nodeName!='BODY'){if(hasClass(target,'slide')){return parseInt(target.id.slice(5));}
237−target=target.parentNode;}
238−return null;}
239−function slideJump(){if(window.location.hash==null)return;var sregex=/^#slide(\d+)$/;var matches=sregex.exec(window.location.hash);var dest=null;if(matches!=null){dest=parseInt(matches[1]);}else{dest=findSlide(window.location.hash.slice(1));}
240−if(dest!=null)
241−go(dest-snum);}
242−function fixLinks(){var thisUri=window.location.href;thisUri=thisUri.slice(0,thisUri.length-window.location.hash.length);var aelements=document.getElementsByTagName('A');for(var i=0;i<aelements.length;i++){var a=aelements[i].href;var slideID=a.match('\#slide[0-9]{1,2}');if((slideID)&&(slideID[0].slice(0,1)=='#')){var dest=findSlide(slideID[0].slice(1));if(dest!=null){if(aelements[i].addEventListener){aelements[i].addEventListener("click",new Function("e","if (document.getElementById('slideProj').disabled) return;"+"go("+dest+" - snum); "+"if (e.preventDefault) e.preventDefault();"),true);}else if(aelements[i].attachEvent){aelements[i].attachEvent("onclick",new Function("","if (document.getElementById('slideProj').disabled) return;"+"go("+dest+" - snum); "+"event.returnValue = false;"));}}}}}
243−function externalLinks(){if(!document.getElementsByTagName)return;var anchors=document.getElementsByTagName('a');for(var i=0;i<anchors.length;i++){var anchor=anchors[i];if(anchor.getAttribute('href')&&hasValue(anchor.rel,'external')){anchor.target='_blank';addClass(anchor,'external');}}}
244−function createControls(){var controlsDiv=document.getElementById("controls");if(!controlsDiv)return;var hider=' onmouseover="showHide(\'s\');" onmouseout="showHide(\'h\');"';var hideDiv,hideList='';if(controlVis=='hidden'){hideDiv=hider;}else{hideList=hider;}
245−controlsDiv.innerHTML='<form action="#" id="controlForm"'+hideDiv+'>'+'<div id="navLinks">'+'<a accesskey="t" id="toggle" href="javascript:toggle();">Ø<\/a>'+'<a accesskey="z" id="prev" href="javascript:go(-1);">«<\/a>'+'<a accesskey="x" id="next" href="javascript:go(1);">»<\/a>'+'<div id="navList"'+hideList+'><select id="jumplist" onchange="go(\'j\');"><\/select><\/div>'+'<\/div><\/form>';if(controlVis=='hidden'){var hidden=document.getElementById('navLinks');}else{var hidden=document.getElementById('jumplist');}
246−addClass(hidden,'hideme');}
247−function fontScale(){if(!s5mode)return false;var vScale=22;var hScale=32;if(window.innerHeight){var vSize=window.innerHeight;var hSize=window.innerWidth;}else if(document.documentElement.clientHeight){var vSize=document.documentElement.clientHeight;var hSize=document.documentElement.clientWidth;}else if(document.body.clientHeight){var vSize=document.body.clientHeight;var hSize=document.body.clientWidth;}else{var vSize=700;var hSize=1024;}
248−var newSize=Math.min(Math.round(vSize/vScale),Math.round(hSize/hScale));fontSize(newSize+'px');if(isGe){var obj=document.getElementsByTagName('body')[0];obj.style.display='none';obj.style.display='block';}}
249−function fontSize(value){if(!(s5ss=document.getElementById('s5ss'))){if(!isIE){document.getElementsByTagName('head')[0].appendChild(s5ss=document.createElement('style'));s5ss.setAttribute('media','screen, projection');s5ss.setAttribute('id','s5ss');}else{document.createStyleSheet();document.s5ss=document.styleSheets[document.styleSheets.length-1];}}
250−if(!isIE){while(s5ss.lastChild)s5ss.removeChild(s5ss.lastChild);s5ss.appendChild(document.createTextNode('body {font-size: '+value+' !important;}'));}else{document.s5ss.addRule('body','font-size: '+value+' !important;');}}
251−function notOperaFix(){slideCSS=document.getElementById('slideProj').href;var slides=document.getElementById('slideProj');var outline=document.getElementById('outlineStyle');slides.setAttribute('media','screen');outline.disabled=true;if(isGe){slides.setAttribute('href','null');slides.setAttribute('href',slideCSS);}
252−if(isIE&&document.styleSheets&&document.styleSheets[0]){document.styleSheets[0].addRule('img','behavior: url(ui/default/iepngfix.htc)');document.styleSheets[0].addRule('div','behavior: url(ui/default/iepngfix.htc)');document.styleSheets[0].addRule('.slide','behavior: url(ui/default/iepngfix.htc)');}}
253−function getIncrementals(obj){var incrementals=new Array();if(!obj)
254−return incrementals;var children=obj.childNodes;for(var i=0;i<children.length;i++){var child=children[i];if(hasClass(child,'incremental')){if(child.nodeName=='OL'||child.nodeName=='UL'){removeClass(child,'incremental');for(var j=0;j<child.childNodes.length;j++){if(child.childNodes[j].nodeType==1){addClass(child.childNodes[j],'incremental');}}}else{incrementals[incrementals.length]=child;removeClass(child,'incremental');}}
255−if(hasClass(child,'show-first')){if(child.nodeName=='OL'||child.nodeName=='UL'){removeClass(child,'show-first');if(child.childNodes[isGe].nodeType==1){removeClass(child.childNodes[isGe],'incremental');}}else{incrementals[incrementals.length]=child;}}
256−incrementals=incrementals.concat(getIncrementals(child));}
257−return incrementals;}
258−function createIncrementals(){var incrementals=new Array();for(var i=0;i<smax;i++){incrementals[i]=getIncrementals(document.getElementById('slide'+i));}
259−return incrementals;}
260−function defaultCheck(){var allMetas=document.getElementsByTagName('meta');for(var i=0;i<allMetas.length;i++){if(allMetas[i].name=='defaultView'){defaultView=allMetas[i].content;}
261−if(allMetas[i].name=='controlVis'){controlVis=allMetas[i].content;}}}
262−function trap(e){if(!e){e=event;e.which=e.keyCode;}
263−try{modifierKey=e.ctrlKey||e.altKey||e.metaKey;}
264−catch(e){modifierKey=false;}
265−return modifierKey||e.which==0;}
266−function startup(){defaultCheck();if(!isOp)
267−createControls();slideLabel();fixLinks();externalLinks();fontScale();if(!isOp){notOperaFix();incrementals=createIncrementals();slideJump();if(defaultView=='outline'){toggle();}
268−document.onkeyup=keys;document.onkeypress=trap;document.onclick=clicker;}}
269−window.onload=startup;window.onresize=function(){setTimeout('fontScale()',50);}
270−</script>
271−$header-includes$
272−</head
273− ><body
274− >
275−<div class="layout">
276−<div id="controls"></div>
277−<div id="currentSlide"></div>
278−<div id="header"></div>
279−<div id="footer">
280−<h1
281− >$date$</h1
282− ><h2
283− ><span class="math"
284− ><em
285− >title</em
286− ></span
287− ></h2
288− ></div>
289−</div>
290−<div class="presentation">
291−
292−<div class="slide">
293−<h1
294− ><span class="math"
295− ><em
296− >title</em
297− ></span
298− ></h1
299− ><h3
300− >$authors$</h3
301− ><h4
302− >$date$</h4
303− ></div>
304−<div class="slide">
305−<h1
306− >section oen</h1
307− ><ol style="list-style-type: decimal;"
308− ><li
309− >one<ol style="list-style-type: lower-alpha;"
310− ><li
311− >two<ol start="3" style="list-style-type: lower-roman;"
312− ><li
313− >three</li
314− ></ol
315− ></li
316− ></ol
317− ></li
318− ></ol
319− ><pre class="haskell"
320− ><code
321− >hi
322−</code
323− ></pre
324− ><p
325− >footnote<a href="#fn1" class="footnoteRef" id="fnref1"
326− ><sup
327− >1</sup
328− ></a
329− ></p
330− ></div>
331−</div>
332−<div class="footnotes"
333− ><hr
334− /><ol
335− ><li id="fn1"
336− ><p
337− >with code</p
338− ><pre
339− ><code
340− >code
341−</code
342− ></pre
343− > <a href="#fnref1" class="footnoteBackLink" title="Jump back to footnote 1">↩</a></li
344− ></ol
345− ></div
346− >
347−</body
348− ></html
349−>
350−