summaryrefslogtreecommitdiffstats
path: root/presentation/assets/formal_hls_github.pdf
blob: 87c5483eb8e0dede2f26dc058172e06ab31bf4a1 (plain)
ofshex dumpascii
0000 25 50 44 46 2d 31 2e 35 0a 25 b5 ed ae fb 0a 34 20 30 20 6f 62 6a 0a 3c 3c 20 2f 4c 65 6e 67 74 %PDF-1.5.%.....4.0.obj.<<./Lengt
0020 68 20 35 20 30 20 52 0a 20 20 20 2f 46 69 6c 74 65 72 20 2f 46 6c 61 74 65 44 65 63 6f 64 65 0a h.5.0.R..../Filter./FlateDecode.
0040 3e 3e 0a 73 74 72 65 61 6d 0a 78 9c 75 9a 4b 8e dc 46 10 44 f7 73 8a b9 80 65 b2 d9 fc 1d 43 47 >>.stream.x.u.K..F.D.s...e....CG
0060 30 0c 5b 2b 2f 2c df 1f b0 ba 23 6a 36 f5 1e 06 a3 05 1f b3 58 19 91 95 a4 94 5a 3f 97 5f 3f bf 0.[+/,....#j6.......X.....Z?._?.
0080 ad bf fe 58 f7 e5 f3 cf 7f 3e fe fd 58 3f 5f 3f 3f 7f 7c fe fe c7 f2 f9 e3 bf 8f a5 f0 f5 fb f3 ...X.....>..X?_??.|.............
00a0 af cf bf df 17 96 d7 0d f7 b7 73 cf 1f cf 6f f9 7d f3 f5 f9 ed 81 d7 2f be ff b1 f1 fd 8f 93 ef ..........s...o.}....../........
00c0 df 1e 7c ff 76 f0 fd fb c2 f7 1f 1b df 7f 9e 7c ff bd f0 fd f7 2e f9 2e 92 f0 ba 4a c6 eb 2a 29 ..|.v..........|...........J..*)
00e0 af 0f c9 79 7d 48 d2 eb b6 4a c4 b6 4b 1a af 2b f1 0e 64 05 b0 3f 0d dc af 4b 00 a2 38 80 48 0e ...y}H...J..K..+..d..?...K..8.H.
0100 e0 5a 25 e2 3a 24 22 2e 11 d8 25 a2 3e 11 89 56 b4 d8 fb fa 25 35 0e 20 45 4e e0 94 88 ea 3e 83 .Z%.:$"...%.>..V....%5..EN....>.
0120 e7 2e 20 85 4e e0 29 11 35 64 06 e7 43 c0 ad 99 2f 96 7a ab 9a 48 ca 1a 89 65 3f 3c 81 ad bd ae ....N.).5d..C.../.z..H...e?<....
0140 44 67 f0 04 40 2e 11 38 25 22 9e 00 88 f4 04 9e 16 71 4b 44 a4 27 70 4a 44 4a 9e 32 5f 2c f5 7a Dg..@..8%".......qKD.'pJDJ.2_,.z
0160 42 24 9e 20 b1 ec eb 09 6d ed 7d fd 94 73 02 a0 9e 00 38 25 a2 9e cc a0 d2 cf a0 42 ce 20 2d 82 B$......m.}..s....8%.......B..-.
0180 b6 bb d8 7e 87 90 40 2a 24 11 db f2 10 12 b6 f6 ba 92 37 1f 64 0f 20 15 09 e0 b8 04 a4 f0 08 9c ...~..@*$.........7.d...........
01a0 12 91 ee 0c 20 42 12 b0 3c aa 30 91 68 42 8b bd af 1f f2 01 42 e0 92 88 54 1d 81 53 22 b2 1d 02 .....B..<.0.hB......B...T..S"...
01c0 87 44 a4 6d 03 48 9d 02 48 77 06 50 a7 66 50 43 66 90 16 41 40 45 5c 4c ac 7e be 20 31 b9 7a 18 .D.m.H..Hw.P.fPCf..A@E\L.~..1.z.
01e0 90 98 60 fd 84 41 62 5a 46 e4 e7 2a c7 81 c0 53 22 a2 3e 81 4b 96 ca 37 09 80 1c 07 02 b7 3c 23 ..`..AbZF..*...S".>.K..7......<#
0200 d7 77 29 6d 02 97 44 b4 97 cc a0 07 0a c0 21 11 dd 27 80 5d 22 2a 2e 80 5b 96 4a 69 03 48 69 13 .w)m..D.......!..'.]"*..[.Ji.Hi.
0220 38 64 a9 aa 0e 40 d5 5d 54 de c5 f4 6d fd aa 25 2d bc b9 db 00 c8 22 00 a2 23 81 5b 96 8a 5c 00 8d...@.]T...m..%-....."..#.[..\.
0240 92 3c 80 a6 48 24 87 97 c8 66 3b 4e a1 d6 7f 50 65 06 29 54 00 29 54 02 87 44 64 3f 00 72 74 01 .<..H$...f;N...Pe.)T.)T..Dd?.rt.
0260 a4 88 00 a4 71 52 1e 8b 66 b8 58 8a ed 8f 44 1e 96 4b bb 20 92 5d 62 62 f1 6d a6 00 b8 24 a2 a5 ....qR..f.X...D..K...]bb.m...$..
0280 3a 83 9a 32 83 34 09 00 2d d5 19 e4 f3 02 40 4d 99 41 4d 01 b0 5b 82 ab 25 32 3c 01 b2 59 2a 91 :..2.4..-.....@M.AM..[..%2<..Y*.
02a0 ab 2f 88 b9 86 01 a4 54 01 44 2e 02 bb 44 e4 12 80 e8 08 20 bd 80 c0 21 11 d1 11 40 ab 1e 89 89 ./.....T.D...D.........!...@....
02c0 d2 f6 41 64 b3 ec 5b db b4 b5 f7 f5 cb 3c 99 41 4a 18 40 15 9e 41 1c 07 50 e9 01 5c 12 51 e9 67 ..Ad..[......<.AJ.@..A..P..\.Q.g
02e0 70 6b 1e 55 98 88 a5 38 14 06 b2 59 92 ef e7 f7 6d 3b f7 08 02 97 44 a4 b6 01 a4 b6 09 ec 12 91 pk.U...8...Y....m;....D.........
0300 5e 46 e0 96 a5 62 09 80 5c 02 10 4b 28 c1 c5 32 6c 8f 20 12 e5 89 6c 96 7d 3d 71 ed 4f a9 61 02 ^F...b..\..K(..2l.....l.}=q.O.a.
0320 d9 d8 0c d2 9f 01 d4 14 00 bb 2c 95 b7 29 81 a7 44 d4 14 00 97 2c 55 b7 66 90 16 05 20 07 08 40 ..........,..)..D....,U.f......@
0340 0f 10 92 cb 62 1e 26 d7 b0 11 36 f0 5a ab 5f a5 b3 57 00 62 09 81 43 96 8a 25 00 62 09 81 5b 40 ....b.&...6.Z._..W.b..C..%.b..[@
0360 04 06 10 81 01 e4 1d 40 c0 32 af be 44 56 13 a5 ca 13 89 f2 48 4c 97 1c a0 fe 8d 60 6e 5e 00 ea .......@.2..DV......HL.....`n^..
0380 d6 0c ea d6 0c 72 80 08 ec f2 8c ba 05 e0 16 50 b7 66 90 9c 29 c1 45 53 5f 2c f7 a1 3d 91 c3 62 .....r.........P.f..).ES_,..=..b
03a0 36 cb 32 d3 a0 45 de 1b 00 3a af 99 41 14 26 b0 4b 44 3a 11 80 34 1c 00 49 80 b6 1b 21 89 74 6c 6.2..E...:..A.&.KD:..4..I...!.tl
03c0 43 e4 b4 e4 37 cb 65 cc 61 80 64 03 bb 14 31 80 4e ca 66 d0 51 d9 0c 2a f1 0c 52 92 00 3a 15 9b C...7.e.a.d...1.N.f.Q..*..R..:..
03e0 41 4a 92 c0 21 11 1d a4 01 d8 2d e2 96 88 e1 16 11 53 6b f8 48 c4 84 1c 03 38 20 9b 49 99 3d eb AJ..!.....-......Sk.H....8..I.=.
0400 1c 54 07 98 33 68 dd c3 68 f3 29 a0 b3 cd 19 d4 2d 00 71 4b c7 9b 00 34 c1 9a e2 23 51 9f 89 fa .T..3h..h.).....-.qK...4...#Q...
0420 50 d4 64 19 ff 68 33 77 5c 24 b7 91 ce c2 88 5c 16 d3 f1 24 91 c3 62 3a a0 24 b2 6b cc 6d 31 63 P.d..h3w\$.....\...$..b:.$.k.m1c
0440 b8 46 a8 33 34 42 29 5a 46 aa 6a 37 01 33 b9 67 56 d3 79 28 90 0e 44 89 9c 16 93 76 86 e4 b0 98 .F.34B)ZF.j7.3.gV.y(..D....v....
0460 51 24 3a 15 25 72 db 73 46 91 e8 c4 14 c8 28 12 98 58 ee f6 9c db b5 5e 54 d2 af 5a f0 49 2b a1 Q$:.%r.sF.....(..X.....^T..Z.I+.
0480 51 0b 3e 6b a5 0d be c1 6a 23 52 22 75 02 48 8f 2b 90 ea 4d e4 b2 98 3a 01 a4 4e 10 39 6c b5 5b Q.>k....j#R"u.H.+..M...:..N.9l.[
04a0 33 1d 72 13 aa dc 84 2a 37 22 55 a8 9b b0 41 2a 91 1e 30 22 a7 c5 0c f3 66 32 cc b3 31 2b 92 db 3.r....*7"U...A*..0"....f2..1+..
04c0 76 30 2c 9a c9 30 02 26 a0 ae 41 7a 15 23 d5 a7 32 33 52 85 be ec d3 e1 2d ee fd 0d 1e 30 dc bc v0,..0.&..Az.#..23R.....-....0..
04e0 8c d4 3e 22 a7 c5 d4 3e 20 35 89 c8 6d cf a9 49 40 7a 8e 80 f4 e5 46 c4 35 58 35 d5 61 04 a1 87 ..>"...>.5..m..I@z....F.5X5.a...
0500 26 3b 3c 42 b4 eb 06 03 6c 6a 4c 64 78 64 73 63 22 c3 23 9b 5d 12 69 7f 24 f2 b4 98 f6 47 20 3d &;<B....ljLdxdsc".#.].i.$....G.=
0520 62 40 86 7b 40 76 8b f9 72 4f c7 c1 88 da 20 09 6d aa 43 2c da e6 71 69 45 05 52 51 81 54 54 22 b@.{@v..rO......m.C,..qiE.RQ.TT"
0540 4f 8d b9 2d a6 47 82 c8 61 31 15 95 88 66 3a 7a 1d a1 ca 4d a8 27 82 1e 95 18 1b 35 23 b9 2c a6 O..-.G..a1...f:z...M.'.....5#.,.
0560 07 82 c8 69 31 fd a8 23 72 58 cc 70 75 26 fd 60 00 d2 ff 63 08 64 78 67 b3 65 22 3d 2a 44 76 8d ...i1..#rX.pu&.`...c.dxg.e"=*Dv.
0580 71 ad 17 17 7b 55 4d bf 0c 07 34 0c 27 a4 e2 7d ff f8 1f f6 21 f5 d5 0a 65 6e 64 73 74 72 65 61 q...{UM...4.'..}....!...endstrea
05a0 6d 0a 65 6e 64 6f 62 6a 0a 35 20 30 20 6f 62 6a 0a 20 20 20 31 33 35 37 0a 65 6e 64 6f 62 6a 0a m.endobj.5.0.obj....1357.endobj.
05c0 33 20 30 20 6f 62 6a 0a 3c 3c 0a 20 20 20 2f 45 78 74 47 53 74 61 74 65 20 3c 3c 0a 20 20 20 20 3.0.obj.<<..../ExtGState.<<.....
05e0 20 20 2f 61 30 20 3c 3c 20 2f 43 41 20 31 20 2f 63 61 20 31 20 3e 3e 0a 20 20 20 3e 3e 0a 3e 3e ../a0.<<./CA.1./ca.1.>>....>>.>>
0600 0a 65 6e 64 6f 62 6a 0a 32 20 30 20 6f 62 6a 0a 3c 3c 20 2f 54 79 70 65 20 2f 50 61 67 65 20 25 .endobj.2.0.obj.<<./Type./Page.%
0620 20 31 0a 20 20 20 2f 50 61 72 65 6e 74 20 31 20 30 20 52 0a 20 20 20 2f 4d 65 64 69 61 42 6f 78 .1..../Parent.1.0.R..../MediaBox
0640 20 5b 20 30 20 30 20 31 35 30 20 31 35 30 20 5d 0a 20 20 20 2f 43 6f 6e 74 65 6e 74 73 20 34 20 .[.0.0.150.150.]..../Contents.4.
0660 30 20 52 0a 20 20 20 2f 47 72 6f 75 70 20 3c 3c 0a 20 20 20 20 20 20 2f 54 79 70 65 20 2f 47 72 0.R..../Group.<<......./Type./Gr
0680 6f 75 70 0a 20 20 20 20 20 20 2f 53 20 2f 54 72 61 6e 73 70 61 72 65 6e 63 79 0a 20 20 20 20 20 oup......./S./Transparency......
06a0 20 2f 49 20 74 72 75 65 0a 20 20 20 20 20 20 2f 43 53 20 2f 44 65 76 69 63 65 52 47 42 0a 20 20 ./I.true......./CS./DeviceRGB...
06c0 20 3e 3e 0a 20 20 20 2f 52 65 73 6f 75 72 63 65 73 20 33 20 30 20 52 0a 3e 3e 0a 65 6e 64 6f 62 .>>..../Resources.3.0.R.>>.endob
06e0 6a 0a 31 20 30 20 6f 62 6a 0a 3c 3c 20 2f 54 79 70 65 20 2f 50 61 67 65 73 0a 20 20 20 2f 4b 69 j.1.0.obj.<<./Type./Pages..../Ki
0700 64 73 20 5b 20 32 20 30 20 52 20 5d 0a 20 20 20 2f 43 6f 75 6e 74 20 31 0a 3e 3e 0a 65 6e 64 6f ds.[.2.0.R.]..../Count.1.>>.endo
0720 62 6a 0a 36 20 30 20 6f 62 6a 0a 3c 3c 20 2f 50 72 6f 64 75 63 65 72 20 28 63 61 69 72 6f 20 31 bj.6.0.obj.<<./Producer.(cairo.1
0740 2e 31 37 2e 34 20 28 68 74 74 70 73 3a 2f 2f 63 61 69 72 6f 67 72 61 70 68 69 63 73 2e 6f 72 67 .17.4.(https://cairographics.org
0760 29 29 0a 20 20 20 2f 43 72 65 61 74 6f 72 20 3c 46 45 46 46 30 30 34 39 30 30 36 45 30 30 36 42 ))..../Creator.<FEFF0049006E006B
0780 30 30 37 33 30 30 36 33 30 30 36 31 30 30 37 30 30 30 36 35 30 30 32 30 30 30 33 31 30 30 32 45 0073006300610070006500200031002E
07a0 30 30 33 31 30 30 32 30 30 30 32 38 30 30 36 38 30 30 37 34 30 30 37 34 30 30 37 30 30 30 37 33 00310020002800680074007400700073
07c0 30 30 33 41 30 30 32 46 30 30 32 46 30 30 36 39 30 30 36 45 30 30 36 42 30 30 37 33 30 30 36 33 003A002F002F0069006E006B00730063
07e0 30 30 36 31 30 30 37 30 30 30 36 35 30 30 32 45 30 30 36 46 30 30 37 32 30 30 36 37 30 30 32 39 006100700065002E006F007200670029
0800 3e 0a 20 20 20 2f 43 72 65 61 74 69 6f 6e 44 61 74 65 20 28 44 3a 32 30 32 31 30 39 31 34 31 39 >..../CreationDate.(D:2021091419
0820 32 30 31 39 2b 30 31 27 30 30 29 0a 3e 3e 0a 65 6e 64 6f 62 6a 0a 37 20 30 20 6f 62 6a 0a 3c 3c 2019+01'00).>>.endobj.7.0.obj.<<
0840 20 2f 54 79 70 65 20 2f 43 61 74 61 6c 6f 67 0a 20 20 20 2f 50 61 67 65 73 20 31 20 30 20 52 0a ./Type./Catalog..../Pages.1.0.R.
0860 3e 3e 0a 65 6e 64 6f 62 6a 0a 78 72 65 66 0a 30 20 38 0a 30 30 30 30 30 30 30 30 30 30 20 36 35 >>.endobj.xref.0.8.0000000000.65
0880 35 33 35 20 66 20 0a 30 30 30 30 30 30 31 37 36 32 20 30 30 30 30 30 20 6e 20 0a 30 30 30 30 30 535.f..0000001762.00000.n..00000
08a0 30 31 35 34 34 20 30 30 30 30 30 20 6e 20 0a 30 30 30 30 30 30 31 34 37 32 20 30 30 30 30 30 20 01544.00000.n..0000001472.00000.
08c0 6e 20 0a 30 30 30 30 30 30 30 30 31 35 20 30 30 30 30 30 20 6e 20 0a 30 30 30 30 30 30 31 34 34 n..0000000015.00000.n..000000144
08e0 39 20 30 30 30 30 30 20 6e 20 0a 30 30 30 30 30 30 31 38 32 37 20 30 30 30 30 30 20 6e 20 0a 30 9.00000.n..0000001827.00000.n..0
0900 30 30 30 30 30 32 31 30 32 20 30 30 30 30 30 20 6e 20 0a 74 72 61 69 6c 65 72 0a 3c 3c 20 2f 53 000002102.00000.n..trailer.<<./S
0920 69 7a 65 20 38 0a 20 20 20 2f 52 6f 6f 74 20 37 20 30 20 52 0a 20 20 20 2f 49 6e 66 6f 20 36 20 ize.8..../Root.7.0.R..../Info.6.
0940 30 20 52 0a 3e 3e 0a 73 74 61 72 74 78 72 65 66 0a 32 31 35 34 0a 25 25 45 4f 46 0a 0.R.>>.startxref.2154.%%EOF.