.
[T.git] / torrents / 5d7beb5df4d44c47c93b2aa1bbe16c35f62a8756.torrent
blob03823f632ad9962380cbea84e20ab8427fc82a33
1 d13:announce-listll36:http://p4p.arenabg.com:1337/announceel38:udp://47.ip-51-68-199.eu:6969/announceel30:udp://9.rarbg.me:2780/announceel30:udp://9.rarbg.to:2710/announceel30:udp://9.rarbg.to:2730/announceel30:udp://9.rarbg.to:2920/announceel33:udp://open.stealth.si:80/announceel41:udp://opentracker.i2p.rocks:6969/announceel43:udp://tracker.coppersurfer.tk:6969/announceel38:udp://tracker.cyberia.is:6969/announceel36:udp://tracker.dler.org:6969/announceel48:udp://tracker.internetwarriors.net:1337/announceel49:udp://tracker.leechers-paradise.org:6969/announceel46:udp://tracker.openbittorrent.com:6969/announceel33:udp://tracker.opentrackr.org:1337el42:udp://tracker.pirateparty.gr:6969/announceel40:udp://tracker.tiny-vps.com:6969/announceel41:udp://tracker.torrent.eu.org:451/announceee4:infod5:filesld6:lengthi5025951e4:pathl78:Abate A. Numerical Software Verification. 10th International Workshop 2017.pdfeee4:name78:Abate A. Numerical Software Verification. 10th International Workshop 2017 Rep12:piece lengthi16384e6:pieces6140:*œ¬p\x7fa.î\x19’ƒ\x06Èhf»A$\b!O\x0eßí“0/un£\fÚ
2 \x12ë@øƬþ¦Ox\v¿©ÕG#Ï8\x19\x1e¾rVÌ\x18\x18;Eˆ/\x13ß„\r\x04²\0\x04qm}LÿÇÿËt–Ñÿx<jBfP\x18ˆé£+4›Âõ$ж:¥ÏëI¥ì-"—\eºƒTÊ>HÝΉȹv¸`¥kÕ�4H#Û\x142èf\x12É~(Z—‰ãKƒãÄ혵#î\x1aj]9O³¼\x1dSñ2–6>¢\fúâ¾~²Ì \x10ø0b�…„½       ªä�4ËJc>G„Ëä?%\x02>U£(³³Õ0°¹ìpÜwT,Ý�w\x01¾"»ï¸\x18Z©åöêÿŒni\v$*k#ÿ3\x13þgâ\x1c︞•4/HA8!        èÀWW§" ,æn!œs\x12¹\x06• Ôg�º~›‚§Ø»í•Ûï�F™¥Oþ3æñ±Ÿ\r:Êì‡6\x11\x01ƒ\HŽzÁ��\x13\x02çëˆÅ˜Z:—\x1fq{w\x1f Å÷Güðz¹-ßõ(`VòRÿ¿$naaÎ�\x7fU1Y¸È¥š \vuÀ1d;è[üì¢toò§jÏœ8t]3\rc\0BÒL †\x0eÎ>ÊõMö‡4ì±N¿\fØN¼‚&,$\b›|r#3‡µíT.òŸAiê\x1f0,dŽn+\x15Ä>*Çý/2\x1a¤'ÊyäÞ�ïž'‹Gó¹3¥ûýß{`E|ȸ١±¸¯\x7f¼Ù G\x15åF+rI]iŸG4ĘŽe ·7õañSÿ\x12t¼£Ò¸oÍÆÇçAýyow/É\"é’\Æxjºò\bYuÓm!˜n—ŠCcµ\x06\x02     xyàcXýü)-ì\x12
3 \03ÝZ—æW�Ø?BºõRô›A¨v#¢J#Ç\x1fÔ^´\0¼K˜ÿ~Â;¦¤šïZYY•�6Ähì\x1fØò�Ÿ Š”G�\x0e�јþ½\x18f¬Ü„\x15¾¼\x02ÑäÁ›5!%ÃÏ\x15ž\x02@\x03\x185Wþ•ÙüKYj\e\x0fl7ë¦4&Ç     /Ç<¬³Nmá\0¢�®öÀßNù¡>5ÿ(®‡f\x1f)žÿ   †ˆ\x17¬µ“.|\b\x1fãЧ\bÓÙ‡RÜö~\x1c&ùÌM\x1a;*xÇ+ˆÞ\x1c\b\x06—;É¡@|e|\x1a\\x16JÔË„å@ºJo[4Å�\x02Ø&þ±—SóxJÊž›z\0ÉÍûLJ€ýÛ5\x16no1_ݤ†\er:\x01Â\v\a\x15\x1cKŒ­iDâÔÝÀ·~ÆàÃ\x0e抷î°\x06\x10+=È\rL~
4 ·&j&Ý\x173¦úð@í\x0eü8>z—áöÔ‰3ß™�º8w—\x1f)\x06\x1c9¹    Gn�9*A UC\r‡Y}?ÀRÍî’®L\x15\x7fуÀ1ëü¶l÷–ýKþP\x1a+ë!³²g´KïH:)Lμ.]Æ=#Œ·ó\e>\vÕAåF.Ñ�\fS\r\x13P®*'ª¼\x1dC[\x7f=�å\x17o¤r°Ë\x02Ñþkª\pe+úà1u´Wú
5 ”×"™è\x0e’ðå¨ä^$\eÐB/®—ÂvAÒh/k¸ˆìœoÍb¸tæ\x0e\0@ø~î&Y‰;\x04‹µíoƒ%sf¤�»¶wSbË        ˜ñ}ЩTE
6 ÷ä¥Q�S"î\x02k\x05@Ív4ø(½š\rÛ¿úȪ¯¸Gª\x1eò�ä9\x0e+}í\x1aà)ö4ŠÊˆ¶\v÷ÿ\x7f%±œ\x14rs»pâ,CU\x1d5\x1d<lM>¦è³»Ö—ý©2)<Vç]ÿmKT‡-<iÄáBl@¨,$Jµ“(LŒØÈ]@ß³¼¹Ë#ÍçÜÿãò:\f‰Åº/\x16#(È>,\vþz¸\x11\x14\x04ÿÞ¡\x02õ°ää”Y™Â�…oæ2‰ÏáóLgÚº¯BÏ›…Ë.êú6‘¬ä}ž\x16öhðA\eÈhu�ç*Lè\x06\x16|õÏ\x1d\x19\x0f$P\a¢Ï.±yáííyÚ$\x19ÞÂqòÄŸ–¨\x13ÜSz\x12E1 c]\x7fE\x18        ²Ê\x06ßÜ3e2Ù¢_\x068ëTÖ1W5_\x15P3ɃCvá\x12»lDË.°8B/\e0±“M\x02p-Às1)4å}Û$Œ\x02ù³ÓˆàG°è¯-\0\x1aµw\eÿGdg˜IS²×Û”¯æÃ\½vYDœ­0¸Nt\rcÞ‡ˆ\a\x0e¼ÇÔ"ÿ8j‹ˆl»\°ž’k¦\x12ÕœOûz\x01Û½Ù×zaOÞ\x19§\x1ca¹Ëf\x1aÅ´ * X¿‚(D$Øl°\x7fI3 I\x0e݆—~ÿü3DM�fgߺmUo¿Q×ÉU\x010GäW\x0eìÆñs<b£–ƒò\x03ƒ1m°¡8]wÁ\r\x06ïëhT\x1d®’”"ùÖ‰d�\0
7 \x10]\x19î\e\x18|�?6%^•Ã™Û³Ô{xe€À̳ É\x03*\aVæâ¹\a\x18Ú-‘=¶GT6\x16‰˜{«\rŠ*b
8 3ÿGt9íÃ\a/ÿ\x01�CÒ8ñ\v’8¢*®µÉ·\x06\x1dwv±ölŽ)“†UrÆ\x16B\x15ƒe\0:ïAÑG‚aV¸uIŒ\x06Õf«Ï‡€ƒ�Ø\x04PçVï\x01TÝ    zÖ™Û¬iðRLç\x04\x12´îyh؃߹Ö\x1eÙq\b!l<iJ?ݱ:T›¯XöÌ©ö�‰~¯óÊN^ÏäÔ¿CØ¡ž›³F©Ãµ0tzѨ±E+ÂÝ�\x04w߈Ö\eÓWþ\x1f×™{ÞG·´Õ?�\x7fã\eb�>\x1f·«5¤Î\x1f\x1eŠFWÞ$�¤‰]ÆR«yÑ\aX_29J™’ço+\x1dá�\x0f&ÁBSÏ;—¬ÙÒ¼Z×\x7f�Gbé`Ä1\x19±´œ'Ï×Æ?        m�ÃøO‚\x1fap§M~¦\x05ACè×ý§º\x11É]×\x1c\x15\x1aA®WZ¨\x04ŸÏ\x13Ü„ÎÜÅ¡S8¾Ò\x1a\e–ähþ‹e8ÂŽ`æXŸ';T]l·¥\x0f °\x1f>ÊgLGz†ƒkD‚9¡a7îz�Ó®
9 þíœÌØ\x0eÅDZ\v6¸©Žð\x17,†­Ï>â‰\epÚÆV\f7`7\f;�jÚ\x01¬MS¾ð¦^\fB\^w\x01L\x1e
10 Ô\x01\bÔ�MUÌ\x04ôCá­\x19\x04\x1dø#_G¤ÑÍ+çR\x0eùue¸þ\vèõ‡�\eOâyHz÷¡^
11 Єhp÷àNbäN\x1aÓÅ\x1d~`!*hÜ`߃µžç�à7/Ì‹T\x03áç’-+\b\v\x02:糆I
12 žŠkŸõyÙóåR³\x1clj¯dð ¿Ûm\vç\0½,™Þî\x12ŸŸ�7´yÈÈyE_Ü\5Û^í¼\f~{Û<Ërü Hy­œÃ\x10oNŠº¾Ÿh¡1WüÖ?äû¢©v\x13[‚p•/(’Âê7
13 ã¶Uï®ÌÉ\x01\x19gL"©º\x0e\x1cL ro\x10\x1dæöíÐæ&·[Ï\x7f
14 :›$\x1aQ
15 îí¬s\x11‰µf\x0e\bXR\x1eRÒ#Þë\x7féW
16 Ý\e
17 Ä\e(|Á<NÁ’„\x10£ï9qt…¢ó¨Ôš^>ˆ¹+\x1eÕ0…°x€Û¤\x0fö8E\x04z¬!“¶QkNL¿\f\x04µšÿ™\fº\x19ñ& /Ýe»¢S=Ô\x10@Ž{½œ²Î€ëP* ¼\x06ý\x06ô\x18]͸²-KtÒ�â�º\õz]\x06ÙÅæ}îŒÆ�ãššÓ-é×]fÒ®Ûõ¢i\0Ýp?þžú÷\x16Tñ•¶\rqÂ×Y£áà\x01œuf*�~‘T£µ¤¥EÌ8;¸¤\b\x1a,–C¨£wÏÀTéH:ÎjÉ>Ç<³{`—ò¡\0*wÌ\b][ß    \x12º²N«\x05§Ö˜\f›ó\x05è{–CðµF5éß²<]NQL\x0eÛ¹8nÖ~órlì°�‹Lxa)TM^•ã,
18 PÕqs9\x06½\x01\x06à\8­­�q\f4\x04RzO<ôI¨ÕÛÃálëh{t›ˆÀ˜g×ñ@ºÑLŠc{öbÌäᔢt›¾Ö•Ô:Lœë\x14ÌNîz°bç<ny�5h[`ê12'UÝ%¿\0\x04Lóª_Mô\x13qà¨R¹ëÍAä?Ù­¸kïyùˆ+�§“ ÞΣǶIÀs9´­Õ3\x13\a“ö_®T†F\x1fzà(›Y¥›Ds�œ_ë\x1aÊe¨©«FëÙ\x1d¥\b{:bܺ­ÜÝÔL2«\x16꾇éãä%6'ü[ÿàû6?ú"¬¹$VÛ*Ú¦4wøjðè�ϧ�+苦×\x18±Ôµ¯ \vuƒÇ°Úˆ2/\x15\x01ë³\eiðŸ…\x14\x10#§oÖaþß²2œÀ\x0eQ™.\x01[øJZ0Ždº­Î\x0f×¥§€\x1fØ~žÉ\x1c¹€>­V�ÑåÈomQ�Ú~ƽ–E:\x0fŽHó2|M€â¸Iñ�ÎÄ    øþ–+U ¯gêqÁµžÍá\ä¢\x1c9|UP\x1e�På\fw²8oú\x1co§&•b;f¹;m©\rØQÀ\x15híF·ù
19 ïÂY*ˆxA^P2ÛáM„à©l¹ô"Ê•W\rÿQa\x01詪ëd¢V2\x02Ší&Ð\réUë0\a\x01“«tøn\x7fpó–\r]D`;h<8¯~ŠÖ\eÉŒa\0ƒCÍW0ʨ\e‚¿‹zàƒ\f0µ¶Ê†*ÇÅP:ˆ;@8ØÔÈ�ä9oã€Îz¨T\x17�h”\x1cç׺\x0fëÁ¢g,r~a\x0e. ÛsÓ£Eøò\rÚñ’ v\b\x05\x14\x0f–š[/\x19V…qó׳Â~†;;}
20 ¡]ÖB?çp»îMÌ'=é®1«VÐñ}\f\x7fŸû0\0Ù\fÝ�\x1f�‹�U˜Ý\x1açëùY<ôÝy®¿\x03±dð!(\x18Éß\x11nS�\x02Õ²WF²Èa‡�‚\x12Z�­¿ã�jåÝ\x15+Ž‹E;†™þ¿_·L§\vÜqïìh€â\x10ƒ‘8¬›æ\x16
21 \x14±œèÒ\x15×.Ul\x11NøÅ_Ÿ¼Î^PÛŽˆ:G—¯UUû‹‰ \x12ÛÂiû£\eè\x15q>ˆIëoù1lr¿™–RÓQ¦>›gýIx0s(¼\x14#ô ?8Îq[5$¤\x16\x1dÊìÞ�KZ)ÝETšfdV}Ê\añ÷Œ
22 \x0eå%\x03IB\aÁëo¯bàÍ¡ÕYY\x10     Œ#0‘ó~•û_Ã\x15ðÎêÿý=[ò*�\v\x0e\x12º+ÇPsWcÀ\x06¼\eX$"_Öûûù×aF\x7f?žÀæá.¢íæwø\x7fä\x0e\x1a\x10Ù¦S\x13a­Þ‡A"äN"§òEéÓ­ówW�¢\x1aøO?•N»›Z¿\a    pQKÁ\x1dŠyµ½ø€\x0e6û°³û0%çR‘ÆL        Y9BˆôlJ‚\x1f;\x1c6š,ð±X\x118ÂY�ôg|š"s\ù\x1a,ý|7\aÓ\0q\x0eªÀ&õ�âl²fQ      2qÎœÍ�¼®ÕæÛÑ·
23 *)c…Ñ\x11=^<húDï isZd˜�Û>2ìkx#Á\x10BùQC\x10(ÌŸ�/žYña½½\x03ƒ\x10.\x0e\x06\Æ„Ü͵=x\>†-Zç\x14\x18œMߪE\0¼\x03–ä\x7fiþS\x0eï\x1f¤Ónñ\aÖ¯pºyQa
24 ÍX\x15W\x01;²W\x10W)À*Â,ã\x11\x7f»Àì(§Õ÷Íþà   ©’žJ:Ý­k]/H–zÑ¢£‚\fø׺µ\x10Kæ7–íiLoÕHØ#k¬\x1c4:Þ8…•/°¥ô�B5‚»®˜ÊÊ-f\x19ö"tˆ«ôés™\x18ÁÌ\x10ùÑeÚ\0!æóË(dÿü4²ÁN;Èõ@94«ên*•?­\bµ4G�\x18÷‰tô\x0fŽ“«æ«‹ïƒŠïSÀéõÁ¹ø%UE«Mš\x17<gûgä·yNíù‚rˈÀ\x10-
25 Ú‘\x10\fQ„©\x10Iàj_ŒâÆ.6V¥Í¾\x10q»™d³ö®ÅÀ¿ôÁ›wÚq\x05!Ø›Lá¶jd¥ú0Þ²9kÌçÈYÉ"c_•\x11·.N6xq\x18´§\x1fû«÷–E.ȳ      \vµî¡VÆ8¼ï4Jw°ƒÕϤÙû\x17‰9\x0f{"²\x04,8m‚\x0f©<m�Gæçßm(D±™<\r\x1d&P(™w\x02¤†YŠó\x04Ì\fÇÅsmaÏBÖÉȾ<Ò“ðRMAÛ¦V\x1az·�Šâ—O«aO¢\b=®d¦`Ô‚®\v      !^ä*òDpšhþ¬ó§;#fµŸvé¢1Ù5–EÍ ³E Ä¦ü»\iÔÀA\x1e=ùˆ/YjIÀnÑ•|&Ýwá…¦'Øl\a|±0¢&xÑ?W\x14þ„ÏÂ�™ßÖ?nŠ/fÊÒ—9ÀšE:xÁã\x13˜\x13H�¶x\x1aIcºc£A³ª\x15¡Q!v§ûÂX}¡Äl¢¶c\x11      vˆ‘µ    BsÔ\x141’]æ$la;»\x13VÙR¤³Ã£â\x05DqŠ�
26 \x7f”0ëg�´¼úÇ\x01\x7f°îR\x0e�=Þˆ¨§²gÑJ�Üsɲ‚Rnq¹–4È\x0eóãgb,{\x1a!0wá\e¯)I¹\x13'\x1e@H:¹1™ð€¹J°*Ÿ"„‚Üë\x02-ÿéFßÝU�†hԌ֓Š·¥)
27 ÕíÅ\vœO2…Éäá^/˜ËGÜI\x16‡¢§\x16ȇÉ�œÀM>JD™ö÷V.&MÀë£óè~Åšäå8 ¸ýßÂå:\x03µ\0ü�æ$'_˜Â\x16žÖñ^µƒ°¯æoýëj‚\x01aKÁ×…2¤r.ŠÔÎŒÖÆ \x17èäB—…\x12õ\x1a;ú#\N’í^ŠŽ<       3ÂEÕÕF¹Ç\r\b\x05 ,7“Óù¹ñ+\x17\x13\x1a\f|Ùê\r—³Á1ﯠ\x13Ö\x16ÖÒ†®Q˜EóZý\x15•¤\x011'S¦4°YÁ\x12îfêZ™\x1a^ôäþ×rÐ\x04Ÿ"døw­Á\x13SÕÿ°Ï¤Þ,¯ßòà€ �d¹^2  UPÞzv�\x7f›Úùý=S\x1fƒö]ùÆBÎÃÞ\x1f3¼\\x1a\r4ô§Î±QÏ\e\x19;‡ó\x06\x02ê?Ýœ•7vàK(\v\x0f\0«ÐÃð\x15‚f\x04ïF(ª\x7fXhf¹£}V\x1a9\x19\x1c¯—Š2 È�¶@W5J¾"QPƒ‹ÀÆ…@\a\eHˆ¶î\Ë\x15\x05á^\x03-vZÏ;¡\bahU±­\é‚É`•\x12O\x05¼ì¿\x13¸”춮ÜéZ�\\x7f1i%[ŠÊO\UÜ U3½Ým@Žb\x1f\x0f\x13îäÅ�××'”d\x13½\x1aä\x03¯ï~»ÿq©Ç\x1c‘„wÈ©<t˜-ýЂâgcw>D¾UØ\x04X¯@@ÔWRýBjpÜcaGý©wg–wÒ}¶M\rùÅ…ék¼Ä\x15\x06c$á]üÞ²ßìIùíª\Þº°$\x12™“Ñáª_Z°ÓM7š\x19ø±Ii±™u~°—ë-5`ÙÖbA±˜!wa¦˜]k\x1cµùYöÐÉ4X§ÿ\x19\vÙü\x01öŠ,ýŽÇXë=\x14'Û=â\x1a¯9¾#µ¯0wÓ°””\x1eÛói\x14ŽÁÐç»õƒÀ1kÀ\r=.üµ�@„!=}’�!÷½À_ÝŽ\x1dXJ\x1cÆý\f3qÆÎʨ\x15˜ò7)ñ­Âêy‘ESE¸ŸO©÷    ²ú™h¥—n9}Ê\x7f\x03F&\x03²´´x­„Ôÿ7®)àËRé\x0fùK?’     £)3¹O»Ÿ\vãRîé™RGahë^�é›`’]ë76›\x04\x0e’)W\fºç\x02&Æ×\x13#2\rŸ1ú\x19ðéÊLB'$æ\x03…ZÙ\x1aýd\x16^$e*£¼#¿��¤æ\x1e?þÑ;�ªYïø†¨Ö�\x11mH¨3z„'Œ\x18!ˆÔ9Œ\x7fˆ\x14gL–êXc´\x0e7=�C\x01™     ô\x02±ÍÚÐ"4\b¢�¡°¤.xòQ\x12Fß»<\x0e)¡¨Þò_\v\x04ü�•Â\r /=d÷]‘.å£Q§ª´\a¯±¢Œ?hß1ån\ež¸\r¼ Ûü\f눶§\b´_&Z&ÍõH\x13NS,†‚Ä‹Þ’¦ñÖ\x14¤\x15ðÇ�z=ÓPJ\x13\x13ìnÐH\x13Ž“ë\05IPâ+5{Œéítë"¢ë–\x1eÉG�è™+\x7fŒ\\x11…¬¨\x7ftQ¢ýÂÎ@
28 øÏ’9E\x1dãæÞÌãvcyDõÖ\x06{\x1ftHU/“WÍç×/™¾o{\x14¶N\x19í±òb¹»N�Ü\^Mà좀\x123x\x02¬‚ñȬ¾p¤ŽëkùþãG;\x12¸10:`
29 ˜0?ªµì�†ÞCh"^Û“Àä[%\x1cǤøUü\x13�-\x1f`d\fg¡H&J;™6x®8îbý2\x19[JQ„\e\e·<KäÄ\x11_‰Š\vè0Sbv¤è”AH8ÄÛ³g›½û\0éB¼×Ð>\0mÀB‡\x7fŽ™\x0f³ÒSµßÄt¯d­²¸\bÇ}FV\eŽ\È®\x14\x16\x05…sUÍ—{Dšæð…\x15ÑŸc_€¥q\a\x02×9c(}ÌøÆ„=)ê/,ßNŠ³®a×\f\v”Þ¿0'ysÐ\x1dd�¾MÄŽ¥þ\x1eS4ÚÒ{øóû$§.éêLÄ\x10xrÁ�\�X—^"ª=Ù\r”üï"
30 Pãõf¬í¦{;È\x11ôbNN=©\x03ö¡Ó\x12åÓ�IŒöê
31 \x101'/Èd„»QâŸUG{gµÛ¶°»\x17©¦W'mž�\x11\x19r$\x15)4z…c\x1d ˆÙä¯\x06\x16;ï}^!Š?±È\x1c\x1e‡¿ËjS\x0f•²\e¬†Lã¡ÃÍ)Õ\x0fÆÊOÝ;¦ØÛî8SÙÓʦ¬×Ð\x10È’%#C‰îi\Y�qÁ�ùTÎÀ£â¡÷\x15ˆ9;\x0f\rDá&zÀ¯Ž�ç§xHÉdJDx‚ôë©\x0eìfˆéÑÚ•ã�\x0f\àÓžÀ°õ\x1dRpÞ¨1\x11>27\x15¼Cè \x16M¹¢b\x17—] L>­‹RS,Ì¢ñ\víÍ晪w9^ï\x04på¾\x01Ê\x1f\fu1jI´>0\x10�Žlˆ!¿J ‡³Úšp\x1f\x14?ݳ\x12\x1d¤µí /8Æ¢#ü0«\x10õá]œ5bÕ“™;ÙÐ\x14�g\x0fä.-›ðœi\x05ÌS6Bs\x17=§ÂÏ|ó7   @V\x1dcݳތæçx½e“™VfÖ,™"£àӛݪlž\x02í„ÿU…êÆ©ÿ˜²£¥¼\x15\a\rl°cdL|a³\etR›_ã8S\x12÷»¾¿˜ç`¹‘ÇâX´\x0fFã¸"ˆ‚5ê€X¾ŸÇ\x13äpöÅ6›®¨ª@ÚQ<nÕÁ(|ùùðn«¨uV»\x01\r] R\x1c;#a<i»o8"ã¸øå2ñHÃë¹6±\eúKÕáýÎáY™}¢\0}èbN-\x110½·oo[ÏNsäâYpA`ú·e°Ðãù™Lž죭q\x1d\x1f¯(\x01˜’œ\x06¤¬A“$'ñAî+àÀ\x05ŒEÏÆž+±Àjà÷AI\aAÛº\r½1ÄsKÝ�’Må:§åƒY\x14¸=�›NG¯nå©ÊÈç]†üóŸ�&qsêÝF=Wz—@–Q\x10ßK{“Ž§à\x11\x1d®õi3ç5®\aÚï\0f´ˆKÏ\x06\v�÷e11:magnet-infod12:display-name78:Abate+A.+Numerical+Software+Verification.+10th+International+Workshop+2017+Rep9:info_hash20:]{ë]ôÔLGÉ;*¡»ál5ö*‡Vee