turing_typed.xml

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:32.0
disk size 19.89 KB
downloadable true
type
attribute value
name no_type
processor id 1
description this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community none
loading contents
<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?><problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd" type="complexity"><trs><rules><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>IfGoto</name><arg><var>i1</var></arg><arg><var>i2</var></arg></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>xs</var></arg></funapp></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing[Ite]</name><arg><funapp><name>!EQ</name><arg><var>x</var></arg><arg><var>i1</var></arg></funapp></arg><arg><funapp><name>I</name><arg><funapp><name>IfGoto</name><arg><var>i1</var></arg><arg><var>i2</var></arg></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>xs</var></arg></funapp></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>Goto</name><arg><var>int</var></arg></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><funapp><name>lookup</name><arg><var>int</var></arg><arg><var>prog</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>Right</name></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>xs</var></arg></funapp></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><var>r</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>revltape</var></arg></funapp></arg><arg><var>xs</var></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>Right</name></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><funapp><name>Nil</name></funapp></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><var>r</var></arg><arg><funapp><name>Cons</name><arg><funapp><name>0</name></funapp></arg><arg><var>revltape</var></arg></funapp></arg><arg><funapp><name>Nil</name></funapp></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>Left</name></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>xs</var></arg></funapp></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><var>r</var></arg><arg><var>xs</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>rtape</var></arg></funapp></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>Left</name></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><funapp><name>Nil</name></funapp></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><var>r</var></arg><arg><funapp><name>Nil</name></funapp></arg><arg><funapp><name>Cons</name><arg><funapp><name>0</name></funapp></arg><arg><var>rtape</var></arg></funapp></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>Write</name><arg><var>int</var></arg></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>xs</var></arg></funapp></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><var>r</var></arg><arg><var>revltape</var></arg><arg><funapp><name>Cons</name><arg><var>int</var></arg><arg><var>xs</var></arg></funapp></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>I</name><arg><funapp><name>Halt</name></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></lhs><rhs><var>rtape</var></rhs></rule><rule><lhs><funapp><name>turing</name><arg><funapp><name>Empty</name></funapp></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></lhs><rhs><var>rtape</var></rhs></rule><rule><lhs><funapp><name>lookup</name><arg><funapp><name>S</name><arg><var>x</var></arg></funapp></arg><arg><funapp><name>I</name><arg><var>l</var></arg><arg><var>r</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>lookup</name><arg><var>x</var></arg><arg><var>r</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>instrsConstrCheck</name><arg><funapp><name>I</name><arg><var>l1</var></arg><arg><var>r1</var></arg></funapp></arg><arg><funapp><name>I</name><arg><var>x</var></arg><arg><var>y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>instrsConstrCheck</name><arg><funapp><name>I</name><arg><var>l1</var></arg><arg><var>r1</var></arg></funapp></arg><arg><funapp><name>Empty</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrsConstrCheck</name><arg><funapp><name>Empty</name></funapp></arg><arg><funapp><name>I</name><arg><var>x</var></arg><arg><var>y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrsConstrCheck</name><arg><funapp><name>Empty</name></funapp></arg><arg><funapp><name>Empty</name></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>IfGoto</name><arg><var>igtNat1</var></arg><arg><var>igtNat2</var></arg></funapp></arg><arg><funapp><name>IfGoto</name><arg><var>igtNat12</var></arg><arg><var>igtNat22</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>IfGoto</name><arg><var>igtNat1</var></arg><arg><var>igtNat2</var></arg></funapp></arg><arg><funapp><name>Goto</name><arg><var>gtNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>IfGoto</name><arg><var>igtNat1</var></arg><arg><var>igtNat2</var></arg></funapp></arg><arg><funapp><name>Right</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>IfGoto</name><arg><var>igtNat1</var></arg><arg><var>igtNat2</var></arg></funapp></arg><arg><funapp><name>Left</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>IfGoto</name><arg><var>igtNat1</var></arg><arg><var>igtNat2</var></arg></funapp></arg><arg><funapp><name>Write</name><arg><var>wNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>IfGoto</name><arg><var>igtNat1</var></arg><arg><var>igtNat2</var></arg></funapp></arg><arg><funapp><name>Halt</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Goto</name><arg><var>gtNat</var></arg></funapp></arg><arg><funapp><name>IfGoto</name><arg><var>igtNat12</var></arg><arg><var>igtNat22</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Goto</name><arg><var>gtNat</var></arg></funapp></arg><arg><funapp><name>Goto</name><arg><var>gtNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Goto</name><arg><var>gtNat</var></arg></funapp></arg><arg><funapp><name>Right</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Goto</name><arg><var>gtNat</var></arg></funapp></arg><arg><funapp><name>Left</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Goto</name><arg><var>gtNat</var></arg></funapp></arg><arg><funapp><name>Write</name><arg><var>wNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Goto</name><arg><var>gtNat</var></arg></funapp></arg><arg><funapp><name>Halt</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Right</name></funapp></arg><arg><funapp><name>IfGoto</name><arg><var>igtNat12</var></arg><arg><var>igtNat22</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Right</name></funapp></arg><arg><funapp><name>Goto</name><arg><var>gtNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Right</name></funapp></arg><arg><funapp><name>Right</name></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Right</name></funapp></arg><arg><funapp><name>Left</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Right</name></funapp></arg><arg><funapp><name>Write</name><arg><var>wNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Right</name></funapp></arg><arg><funapp><name>Halt</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Left</name></funapp></arg><arg><funapp><name>IfGoto</name><arg><var>igtNat12</var></arg><arg><var>igtNat22</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Left</name></funapp></arg><arg><funapp><name>Goto</name><arg><var>gtNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Left</name></funapp></arg><arg><funapp><name>Right</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Left</name></funapp></arg><arg><funapp><name>Left</name></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Left</name></funapp></arg><arg><funapp><name>Write</name><arg><var>wNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Left</name></funapp></arg><arg><funapp><name>Halt</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Write</name><arg><var>wNat</var></arg></funapp></arg><arg><funapp><name>IfGoto</name><arg><var>igtNat12</var></arg><arg><var>igtNat22</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Write</name><arg><var>wNat</var></arg></funapp></arg><arg><funapp><name>Goto</name><arg><var>gtNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Write</name><arg><var>wNat</var></arg></funapp></arg><arg><funapp><name>Right</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Write</name><arg><var>wNat</var></arg></funapp></arg><arg><funapp><name>Left</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Write</name><arg><var>wNat</var></arg></funapp></arg><arg><funapp><name>Write</name><arg><var>wNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Write</name><arg><var>wNat</var></arg></funapp></arg><arg><funapp><name>Halt</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Halt</name></funapp></arg><arg><funapp><name>IfGoto</name><arg><var>igtNat12</var></arg><arg><var>igtNat22</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Halt</name></funapp></arg><arg><funapp><name>Goto</name><arg><var>gtNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Halt</name></funapp></arg><arg><funapp><name>Right</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Halt</name></funapp></arg><arg><funapp><name>Left</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Halt</name></funapp></arg><arg><funapp><name>Write</name><arg><var>wNat2</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>instrConstrCheck</name><arg><funapp><name>Halt</name></funapp></arg><arg><funapp><name>Halt</name></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>notEmpty</name><arg><funapp><name>Cons</name><arg><var>x</var></arg><arg><var>xs</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>notEmpty</name><arg><funapp><name>Nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>lookup</name><arg><funapp><name>0</name></funapp></arg><arg><var>instrs</var></arg></funapp></lhs><rhs><var>instrs</var></rhs></rule><rule><lhs><funapp><name>instrsSecond</name><arg><funapp><name>I</name><arg><var>l</var></arg><arg><var>r</var></arg></funapp></arg></funapp></lhs><rhs><var>r</var></rhs></rule><rule><lhs><funapp><name>instrsFirst</name><arg><funapp><name>I</name><arg><var>l</var></arg><arg><var>r</var></arg></funapp></arg></funapp></lhs><rhs><var>l</var></rhs></rule><rule><lhs><funapp><name>getWrite</name><arg><funapp><name>Write</name><arg><var>int</var></arg></funapp></arg></funapp></lhs><rhs><var>int</var></rhs></rule><rule><lhs><funapp><name>getGotoSecond</name><arg><funapp><name>IfGoto</name><arg><var>i1</var></arg><arg><var>i2</var></arg></funapp></arg></funapp></lhs><rhs><var>i2</var></rhs></rule><rule><lhs><funapp><name>getGotoFirst</name><arg><funapp><name>IfGoto</name><arg><var>i1</var></arg><arg><var>i2</var></arg></funapp></arg></funapp></lhs><rhs><var>i1</var></rhs></rule><rule><lhs><funapp><name>getGoto</name><arg><funapp><name>Goto</name><arg><var>int</var></arg></funapp></arg></funapp></lhs><rhs><var>int</var></rhs></rule><rule><lhs><funapp><name>run</name><arg><var>prog</var></arg><arg><var>tapeinput</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><var>prog</var></arg><arg><funapp><name>Nil</name></funapp></arg><arg><var>tapeinput</var></arg><arg><var>prog</var></arg></funapp></rhs></rule><relrules><rule><lhs><funapp><name>!EQ</name><arg><funapp><name>S</name><arg><var>x</var></arg></funapp></arg><arg><funapp><name>S</name><arg><var>y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>!EQ</name><arg><var>x</var></arg><arg><var>y</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>!EQ</name><arg><funapp><name>0</name></funapp></arg><arg><funapp><name>S</name><arg><var>y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>!EQ</name><arg><funapp><name>S</name><arg><var>x</var></arg></funapp></arg><arg><funapp><name>0</name></funapp></arg></funapp></lhs><rhs><funapp><name>False</name></funapp></rhs></rule><rule><lhs><funapp><name>!EQ</name><arg><funapp><name>0</name></funapp></arg><arg><funapp><name>0</name></funapp></arg></funapp></lhs><rhs><funapp><name>True</name></funapp></rhs></rule><rule><lhs><funapp><name>turing[Ite]</name><arg><funapp><name>True</name></funapp></arg><arg><funapp><name>I</name><arg><funapp><name>IfGoto</name><arg><var>i1</var></arg><arg><var>i2</var></arg></funapp></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><funapp><name>lookup</name><arg><var>i2</var></arg><arg><var>prog</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>turing[Ite]</name><arg><funapp><name>False</name></funapp></arg><arg><funapp><name>I</name><arg><var>l</var></arg><arg><var>r</var></arg></funapp></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></lhs><rhs><funapp><name>turing</name><arg><var>r</var></arg><arg><var>revltape</var></arg><arg><var>rtape</var></arg><arg><var>prog</var></arg></funapp></rhs></rule></relrules></rules><signature><funcsym><name>Empty</name><arity>0</arity></funcsym><funcsym><name>getGoto</name><arity>1</arity></funcsym><funcsym><name>run</name><arity>2</arity></funcsym><funcsym><name>getGotoFirst</name><arity>1</arity></funcsym><funcsym><name>True</name><arity>0</arity></funcsym><funcsym><name>instrConstrCheck</name><arity>2</arity></funcsym><funcsym><name>Goto</name><arity>1</arity></funcsym><funcsym><name>Left</name><arity>0</arity></funcsym><funcsym><name>Right</name><arity>0</arity></funcsym><funcsym><name>!EQ</name><arity>2</arity></funcsym><funcsym><name>Cons</name><arity>2</arity></funcsym><funcsym><name>turing</name><arity>4</arity></funcsym><funcsym><name>I</name><arity>2</arity></funcsym><funcsym><name>instrsFirst</name><arity>1</arity></funcsym><funcsym><name>False</name><arity>0</arity></funcsym><funcsym><name>turing[Ite]</name><arity>5</arity></funcsym><funcsym><name>Nil</name><arity>0</arity></funcsym><funcsym><name>getGotoSecond</name><arity>1</arity></funcsym><funcsym><name>lookup</name><arity>2</arity></funcsym><funcsym><name>Write</name><arity>1</arity></funcsym><funcsym><name>Halt</name><arity>0</arity></funcsym><funcsym><name>S</name><arity>1</arity></funcsym><funcsym><name>instrsConstrCheck</name><arity>2</arity></funcsym><funcsym><name>0</name><arity>0</arity></funcsym><funcsym><name>getWrite</name><arity>1</arity></funcsym><funcsym><name>notEmpty</name><arity>1</arity></funcsym><funcsym><name>IfGoto</name><arity>2</arity></funcsym><funcsym><name>instrsSecond</name><arity>1</arity></funcsym></signature></trs><strategy>INNERMOST</strategy><startterm><constructor-based/></startterm><metainformation><originalfilename>Frederiksen_Glenstrup/turing_typed.tml.trs</originalfilename></metainformation></problem>
popout

content may be truncated. 'popout' for larger text window.

actions get anonymous link download benchmark