# The following data capture is the output of a brute force search
# (fc-uicc-tool bfsearch-mf command) of the main (MF-based) file
# system tree of a sysmoISIM-SJA2 card, bought from Sysmocom webshop
# in 2021-02.

3F00/0001: file desc 0x41, total size 112
3F00/2F00: file desc 0x42, total size 344, 8 records of 43 bytes
3F00/2F05: file desc 0x41, total size 10
3F00/2F06: file desc 0x42, total size 550, 5 records of 110 bytes
3F00/2F07: file desc 0x41, total size 8
3F00/2F08: file desc 0x41, total size 5
3F00/2FE2: file desc 0x41, total size 10
3F00/7F10: file desc 0x78, DF
3F00/7F11: file desc 0x78, DF
3F00/7F20: file desc 0x78, DF
3F00/7F25: file desc 0x78, DF
3F00/7F90: file desc 0x78, DF
3F00/A515: file desc 0x78, DF
3F00/ABCD: file desc 0x78, DF
3F00/FF01: file desc 0x78, DF
3F00/7F10/5F3A: file desc 0x78, DF
3F00/7F10/5F3C: file desc 0x78, DF
3F00/7F10/5F3D: file desc 0x78, DF
3F00/7F10/5F3E: file desc 0x78, DF
3F00/7F10/6F06: file desc 0x42, total size 1760, 16 records of 110 bytes
3F00/7F10/6F3A: file desc 0x42, total size 8500, 250 records of 34 bytes
3F00/7F10/6F3B: file desc 0x42, total size 560, 20 records of 28 bytes
3F00/7F10/6F3C: file desc 0x42, total size 5280, 30 records of 176 bytes
3F00/7F10/6F40: file desc 0x42, total size 204, 6 records of 34 bytes
3F00/7F10/6F42: file desc 0x42, total size 104, 2 records of 52 bytes
3F00/7F10/6F43: file desc 0x41, total size 2
3F00/7F10/6F44: file desc 0x46, total size 680, 20 records of 34 bytes
3F00/7F10/6F47: file desc 0x42, total size 600, 20 records of 30 bytes
3F00/7F10/6F49: file desc 0x42, total size 680, 20 records of 34 bytes
3F00/7F10/6F4A: file desc 0x42, total size 130, 10 records of 13 bytes
3F00/7F10/6F4B: file desc 0x42, total size 208, 16 records of 13 bytes
3F00/7F10/6F4C: file desc 0x42, total size 208, 16 records of 13 bytes
3F00/7F10/6F4D: file desc 0x42, total size 290, 10 records of 29 bytes
3F00/7F10/6F4F: file desc 0x42, total size 300, 20 records of 15 bytes
3F00/7F10/6F54: file desc 0x41, total size 21
3F00/7F10/6F58: file desc 0x42, total size 110, 10 records of 11 bytes
3F00/7F10/6FE0: file desc 0x42, total size 128, 8 records of 16 bytes
3F00/7F10/6FE1: file desc 0x42, total size 256, 4 records of 64 bytes
3F00/7F10/6FE5: file desc 0x42, total size 64, 1 records of 64 bytes
3F00/7F10/5F3A/4F09: file desc 0x42, total size 500, 250 records of 2 bytes
3F00/7F10/5F3A/4F11: file desc 0x42, total size 4250, 250 records of 17 bytes
3F00/7F10/5F3A/4F21: file desc 0x42, total size 500, 250 records of 2 bytes
3F00/7F10/5F3A/4F22: file desc 0x41, total size 4
3F00/7F10/5F3A/4F23: file desc 0x41, total size 2
3F00/7F10/5F3A/4F24: file desc 0x41, total size 2
3F00/7F10/5F3A/4F30: file desc 0x42, total size 69, 1 records of 69 bytes
3F00/7F10/5F3A/4F32: file desc 0x42, total size 500, 250 records of 2 bytes
3F00/7F10/5F3A/4F3A: file desc 0x42, total size 8500, 250 records of 34 bytes
3F00/7F10/5F3A/4F4A: file desc 0x42, total size 130, 10 records of 13 bytes
3F00/7F10/5F3A/4F4B: file desc 0x42, total size 100, 10 records of 10 bytes
3F00/7F10/5F3A/4F4F: file desc 0x42, total size 300, 20 records of 15 bytes
3F00/7F10/5F3A/4F50: file desc 0x42, total size 7500, 150 records of 50 bytes
3F00/7F10/5F3A/4F52: file desc 0x42, total size 750, 250 records of 3 bytes
3F00/7F10/5F3A/4F53: file desc 0x42, total size 80, 5 records of 16 bytes
3F00/7F10/5F3A/4F54: file desc 0x42, total size 4500, 250 records of 18 bytes
3F00/7F10/5F3C/4F20: file desc 0x41, total size 18
3F00/7F10/5F3C/4F21: file desc 0x41, total size 18
3F00/7F10/5F3C/4F22: file desc 0x41, total size 1
3F00/7F10/5F3D/4F01: file desc 0x41, total size 4
3F00/7F10/5F3D/4F02: file desc 0x41, total size 256
3F00/7F10/5F3E/4F01: file desc 0x41, total size 3
3F00/7F10/5F3E/4F02: file desc 0x41, total size 100
3F00/7F20/5F30: file desc 0x78, DF
3F00/7F20/5F31: file desc 0x78, DF
3F00/7F20/5F32: file desc 0x78, DF
3F00/7F20/5F33: file desc 0x78, DF
3F00/7F20/5F40: file desc 0x78, DF
3F00/7F20/5F70: file desc 0x78, DF
3F00/7F20/6F05: file desc 0x41, total size 5
3F00/7F20/6F06: file desc 0x42, total size 1320, 12 records of 110 bytes
3F00/7F20/6F07: file desc 0x41, total size 9
3F00/7F20/6F20: file desc 0x41, total size 9
3F00/7F20/6F2C: file desc 0x41, total size 16
3F00/7F20/6F30: file desc 0x41, total size 60
3F00/7F20/6F31: file desc 0x41, total size 1
3F00/7F20/6F32: file desc 0x41, total size 24
3F00/7F20/6F37: file desc 0x41, total size 3
3F00/7F20/6F38: file desc 0x41, total size 15
3F00/7F20/6F39: file desc 0x46, total size 60, 20 records of 3 bytes
3F00/7F20/6F3E: file desc 0x41, total size 10
3F00/7F20/6F3F: file desc 0x41, total size 10
3F00/7F20/6F41: file desc 0x41, total size 5
3F00/7F20/6F45: file desc 0x41, total size 20
3F00/7F20/6F46: file desc 0x41, total size 17
3F00/7F20/6F48: file desc 0x41, total size 20
3F00/7F20/6F50: file desc 0x41, total size 20
3F00/7F20/6F51: file desc 0x42, total size 105, 5 records of 21 bytes
3F00/7F20/6F52: file desc 0x41, total size 9
3F00/7F20/6F53: file desc 0x41, total size 14
3F00/7F20/6F54: file desc 0x41, total size 21
3F00/7F20/6F60: file desc 0x41, total size 60
3F00/7F20/6F61: file desc 0x41, total size 60
3F00/7F20/6F62: file desc 0x41, total size 60
3F00/7F20/6F64: file desc 0x41, total size 1
3F00/7F20/6F74: file desc 0x41, total size 16
3F00/7F20/6F78: file desc 0x41, total size 2
3F00/7F20/6F7B: file desc 0x41, total size 12
3F00/7F20/6F7E: file desc 0x41, total size 11
3F00/7F20/6FAD: file desc 0x41, total size 4
3F00/7F20/6FAE: file desc 0x41, total size 1
3F00/7F20/6FB1: file desc 0x41, total size 40
3F00/7F20/6FB2: file desc 0x41, total size 7
3F00/7F20/6FB3: file desc 0x41, total size 40
3F00/7F20/6FB4: file desc 0x41, total size 7
3F00/7F20/6FB5: file desc 0x41, total size 2
3F00/7F20/6FB6: file desc 0x41, total size 1
3F00/7F20/6FB7: file desc 0x41, total size 15
3F00/7F20/6FC5: file desc 0x42, total size 240, 10 records of 24 bytes
3F00/7F20/6FC6: file desc 0x42, total size 8, 1 records of 8 bytes
3F00/7F20/6FC7: file desc 0x42, total size 240, 10 records of 24 bytes
3F00/7F20/6FC8: file desc 0x42, total size 130, 10 records of 13 bytes
3F00/7F20/6FC9: file desc 0x42, total size 40, 10 records of 4 bytes
3F00/7F20/6FCA: file desc 0x42, total size 20, 4 records of 5 bytes
3F00/7F20/6FCB: file desc 0x42, total size 64, 4 records of 16 bytes
3F00/7F20/6FCC: file desc 0x42, total size 52, 4 records of 13 bytes
3F00/7F20/6FCD: file desc 0x41, total size 33
3F00/7F20/6FCE: file desc 0x42, total size 96, 4 records of 24 bytes
3F00/7F20/6FCF: file desc 0x42, total size 256, 4 records of 64 bytes
3F00/7F20/6FD0: file desc 0x41, total size 32
3F00/7F20/6FD1: file desc 0x42, total size 256, 4 records of 64 bytes
3F00/7F20/6FD2: file desc 0x41, total size 256
3F00/7F20/5F70/4F01: file desc 0x42, total size 500, 5 records of 100 bytes
3F00/7F20/5F70/4F30: file desc 0x41, total size 32
3F00/7F20/5F70/4F31: file desc 0x42, total size 150, 5 records of 30 bytes
3F00/7F25/6F06: file desc 0x42, total size 1320, 12 records of 110 bytes
3F00/7F25/6F21: file desc 0x46, total size 20, 10 records of 2 bytes
3F00/7F25/6F22: file desc 0x41, total size 10
3F00/7F25/6F23: file desc 0x41, total size 10
3F00/7F25/6F24: file desc 0x41, total size 16
3F00/7F25/6F25: file desc 0x41, total size 2
3F00/7F25/6F26: file desc 0x41, total size 1
3F00/7F25/6F27: file desc 0x41, total size 7
3F00/7F25/6F28: file desc 0x42, total size 40, 8 records of 5 bytes
3F00/7F25/6F29: file desc 0x42, total size 8, 1 records of 8 bytes
3F00/7F25/6F2A: file desc 0x41, total size 7
3F00/7F25/6F2B: file desc 0x41, total size 8
3F00/7F25/6F2C: file desc 0x41, total size 1
3F00/7F25/6F2D: file desc 0x41, total size 1
3F00/7F25/6F2E: file desc 0x41, total size 1
3F00/7F25/6F2F: file desc 0x41, total size 7
3F00/7F25/6F30: file desc 0x41, total size 1024
3F00/7F25/6F31: file desc 0x41, total size 8
3F00/7F25/6F32: file desc 0x41, total size 12
3F00/7F25/6F33: file desc 0x41, total size 3
3F00/7F25/6F34: file desc 0x41, total size 1
3F00/7F25/6F35: file desc 0x41, total size 1
3F00/7F25/6F36: file desc 0x41, total size 17
3F00/7F25/6F37: file desc 0x41, total size 1
3F00/7F25/6F38: file desc 0x41, total size 8
3F00/7F25/6F39: file desc 0x41, total size 1
3F00/7F25/6F3A: file desc 0x41, total size 2
3F00/7F25/6F3C: file desc 0x42, total size 7650, 30 records of 255 bytes
3F00/7F25/6F3D: file desc 0x42, total size 65, 1 records of 65 bytes
3F00/7F25/6F3E: file desc 0x41, total size 5
3F00/7F25/6F3F: file desc 0x41, total size 117
3F00/7F25/6F41: file desc 0x41, total size 35
3F00/7F25/6F42: file desc 0x41, total size 1
3F00/7F25/6F43: file desc 0x41, total size 3
3F00/7F25/6F44: file desc 0x42, total size 11, 1 records of 11 bytes
3F00/7F25/6F45: file desc 0x41, total size 2
3F00/7F25/6F46: file desc 0x41, total size 1
3F00/7F25/6F47: file desc 0x41, total size 15
3F00/7F25/6F48: file desc 0x41, total size 1
3F00/7F25/6F49: file desc 0x41, total size 1
3F00/7F25/6F4A: file desc 0x41, total size 4
3F00/7F25/6F4C: file desc 0x41, total size 36
3F00/7F25/6F4E: file desc 0x41, total size 1
3F00/7F25/6F50: file desc 0x41, total size 36
3F00/7F25/6F55: file desc 0x41, total size 3
3F00/7F25/6F56: file desc 0x41, total size 3
3F00/7F25/6F57: file desc 0x41, total size 257
3F00/7F25/6F59: file desc 0x41, total size 1
3F00/7F25/6F70: file desc 0x41, total size 23
3F00/7F25/6F71: file desc 0x41, total size 50
3F00/7F25/6F72: file desc 0x41, total size 50
3F00/7F25/6F73: file desc 0x41, total size 50
3F00/7F25/6F74: file desc 0x41, total size 7
3F00/7F25/6F76: file desc 0x41, total size 4
3F00/7F25/6F79: file desc 0x41, total size 2
3F00/7F25/6F7A: file desc 0x41, total size 3
3F00/7F25/6F7B: file desc 0x41, total size 348
3F00/7F25/6F7C: file desc 0x41, total size 500
3F00/7F25/6F7D: file desc 0x41, total size 7
3F00/7F25/6F7F: file desc 0x41, total size 70
3F00/7F25/6F81: file desc 0x41, total size 207
3F00/7F25/6F82: file desc 0x41, total size 4
3F00/7F25/6F83: file desc 0x41, total size 32
3F00/7F25/6F84: file desc 0x41, total size 4
3F00/7F25/6F85: file desc 0x41, total size 300
3F00/7F25/6F86: file desc 0x41, total size 1
3F00/7F25/6F87: file desc 0x42, total size 100, 1 records of 100 bytes
3F00/7F25/6F88: file desc 0x42, total size 100, 1 records of 100 bytes
3F00/7F25/6F89: file desc 0x41, total size 1
3F00/7F25/6F90: file desc 0x41, total size 126
3F00/7F25/6F92: file desc 0x41, total size 132
3F00/7F25/AF01: file desc 0x41, total size 24
3F00/7F25/AF02: file desc 0x41, total size 200
3F00/7F25/AF03: file desc 0x41, total size 69
3F00/7F25/AF04: file desc 0x41, total size 200
3F00/7F25/AF05: file desc 0x41, total size 56
3F00/7F25/AF06: file desc 0x41, total size 96
3F00/7F25/AF07: file desc 0x41, total size 44
3F00/7F25/AF08: file desc 0x41, total size 90
3F00/7F25/AF09: file desc 0x41, total size 16
3F00/7F25/AF0A: file desc 0x42, total size 150, 1 records of 150 bytes
3F00/7F25/AF20: file desc 0x41, total size 33
3F00/7F25/AF21: file desc 0x41, total size 85
3F00/7F25/AF30: file desc 0x41, total size 206
3F00/7F25/EF30: file desc 0x41, total size 1024
3F00/A515/6F01: file desc 0x41, total size 21
3F00/A515/6F0A: file desc 0x41, total size 11
3F00/A515/6F0B: file desc 0x41, total size 11
3F00/A515/6F20: file desc 0x41, total size 33
3F00/A515/6F21: file desc 0x41, total size 85
3F00/A515/6F22: file desc 0x42, total size 420, 12 records of 35 bytes
3F00/A515/6F23: file desc 0x42, total size 28, 4 records of 7 bytes
3F00/A515/6F24: file desc 0x41, total size 4
3F00/A515/6F26: file desc 0x42, total size 15, 3 records of 5 bytes
3F00/A515/6F27: file desc 0x42, total size 12, 1 records of 12 bytes
3F00/A515/6F2C: file desc 0x41, total size 200
3F00/A515/6F40: file desc 0x41, total size 4
3F00/A515/6F81: file desc 0x41, total size 21
3F00/ABCD/6F06: file desc 0x42, total size 200, 4 records of 50 bytes
3F00/ABCD/6F07: file desc 0x41, total size 9
3F00/ABCD/6FAD: file desc 0x41, total size 4
3F00/ABCD/AF20: file desc 0x41, total size 33
3F00/ABCD/AF21: file desc 0x41, total size 85
3F00/ABCD/AF22: file desc 0x41, total size 33
3F00/ABCD/AF30: file desc 0x41, total size 206
3F00/FF01/6F02: file desc 0x41, total size 128
3F00/FF01/6F03: file desc 0x41, total size 50
3F00/FF01/6F04: file desc 0x42, total size 1024, 8 records of 128 bytes
3F00/FF01/6F06: file desc 0x42, total size 200, 4 records of 50 bytes
3F00/FF01/6F07: file desc 0x41, total size 3
3F00/FF01/6F09: file desc 0x42, total size 1024, 8 records of 128 bytes
3F00/FF01/6FAD: file desc 0x41, total size 3
3F00/FF01/6FD5: file desc 0x41, total size 64
3F00/FF01/6FD7: file desc 0x42, total size 1024, 8 records of 128 bytes
3F00/FF01/6FDD: file desc 0x42, total size 1024, 8 records of 128 bytes
3F00/FF01/6FE7: file desc 0x42, total size 512, 8 records of 64 bytes
3F00/FF01/6FF7: file desc 0x41, total size 1
3F00/FF01/6FF8: file desc 0x41, total size 255
3F00/FF01/6FFC: file desc 0x41, total size 255
3F00/FF01/AF20: file desc 0x41, total size 33
3F00/FF01/AF21: file desc 0x41, total size 85
3F00/FF01/AF22: file desc 0x41, total size 33
3F00/FF01/AF30: file desc 0x41, total size 206