search

FLIF-hub / FLIF

Free Lossless Image Format
Other
3.72k stars 229 forks source link

stack-overflow in MetaPropertySymbolCoder #478

Open gy741 opened 6 years ago

gy741 commented 6 years ago

Hello.

I found a stack-overflow bug in FLIF.

Please confirm.

Thanks.

Summary: stack-overflow OS: CentOS 7 64bit PoC Download: Ov_MetaPropertySymbolCoder.zip

Steps to reproduce: 1.Download the .POC files. 2.Compile the source code with ASan. 3.Execute the following command : ./flif -d $POC /tmp/out.png

 ASAN:DEADLYSIGNAL
=================================================================
==2429==ERROR: AddressSanitizer: stack-overflow on address 0x7fff7321fff8 (pc 0x0000004cff71 bp 0x7fff73220890 sp 0x7fff73220000 T0)
    #0 0x4cff70 in __asan_memcpy /home/karas/src/llvm/projects/compiler-rt/lib/asan/asan_interceptors.cc:453
    #1 0x88e13a in void __gnu_cxx::new_allocator<PropertyDecisionNode>::construct<PropertyDecisionNode, PropertyDecisionNode>(PropertyDecisionNode*, PropertyDecisionNode&&) /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../include/c++/4.8.5/ext/new_allocator.h:120:23
    #2 0x88e13a in _ZNSt16allocator_traitsISaI20PropertyDecisionNodeEE12_S_constructIS0_JS0_EEENSt9enable_ifIXsr18__construct_helperIT_DpT0_EE5valueEvE4typeERS1_PS5_DpOS6_ /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../include/c++/4.8.5/bits/alloc_traits.h:254
    #3 0x88e13a in _ZNSt16allocator_traitsISaI20PropertyDecisionNodeEE9constructIS0_JS0_EEEDTcl12_S_constructfp_fp0_spclsr3stdE7forwardIT0_Efp1_EEERS1_PT_DpOS4_ /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../include/c++/4.8.5/bits/alloc_traits.h:393
    #4 0x88e13a in void std::vector<PropertyDecisionNode, std::allocator<PropertyDecisionNode> >::emplace_back<PropertyDecisionNode>(PropertyDecisionNode&&) /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../include/c++/4.8.5/bits/vector.tcc:96
    #5 0x88e13a in std::vector<PropertyDecisionNode, std::allocator<PropertyDecisionNode> >::push_back(PropertyDecisionNode&&) /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../include/c++/4.8.5/bits/stl_vector.h:920
    #6 0x88e13a in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:243
    #7 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #8 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #9 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #10 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #11 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #12 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #13 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #14 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #15 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #16 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #17 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #18 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #19 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #20 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #21 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #22 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #23 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #24 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #25 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #26 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #27 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #28 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #29 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #30 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #31 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #32 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #33 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #34 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #35 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #36 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #37 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #38 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #39 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #40 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #41 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #42 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #43 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #44 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #45 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #46 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #47 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #48 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #49 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #50 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #51 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #52 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #53 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #54 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #55 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #56 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #57 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #58 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #59 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #60 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #61 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #62 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #63 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #64 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #65 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #66 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #67 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #68 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #69 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #70 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #71 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #72 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #73 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #74 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #75 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #76 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #77 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #78 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #79 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #80 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #81 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #82 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #83 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #84 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #85 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #86 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #87 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #88 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #89 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #90 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #91 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #92 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #93 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #94 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #95 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #96 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #97 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #98 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #99 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #100 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #101 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #102 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #103 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #104 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #105 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #106 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #107 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #108 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #109 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #110 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #111 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #112 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #113 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #114 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #115 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #116 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #117 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #118 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #119 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #120 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #121 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #122 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #123 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #124 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #125 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #126 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #127 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #128 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #129 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #130 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #131 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #132 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #133 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #134 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #135 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #136 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #137 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #138 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #139 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #140 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #141 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #142 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #143 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #144 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #145 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #146 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #147 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #148 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #149 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #150 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #151 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #152 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #153 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #154 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #155 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #156 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #157 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #158 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #159 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #160 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #161 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #162 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #163 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #164 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #165 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #166 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #167 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #168 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #169 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #170 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #171 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #172 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #173 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #174 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #175 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #176 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #177 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #178 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #179 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #180 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #181 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #182 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #183 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #184 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #185 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #186 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #187 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #188 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #189 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #190 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #191 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #192 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #193 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #194 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #195 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #196 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #197 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #198 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #199 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #200 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #201 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #202 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #203 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #204 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #205 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #206 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #207 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #208 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #209 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #210 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #211 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #212 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #213 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #214 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #215 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #216 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #217 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #218 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #219 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #220 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #221 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #222 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #223 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #224 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #225 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #226 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #227 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #228 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #229 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #230 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #231 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #232 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #233 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #234 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #235 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #236 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #237 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #238 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #239 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #240 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #241 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #242 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #243 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #244 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #245 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #246 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #247 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #248 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #249 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #250 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #251 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #252 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #253 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #254 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18
    #255 0x88e330 in MetaPropertySymbolCoder<SimpleBitChance, RacInput24<FileIO> >::read_subtree(int, std::vector<std::pair<int, int>, std::allocator<std::pair<int, int> > >&, Tree&) /home/karas/FLIF/src/./maniac/compound.hpp:247:18

SUMMARY: AddressSanitizer: stack-overflow /home/karas/src/llvm/projects/compiler-rt/lib/asan/asan_interceptors.cc:453 in __asan_memcpy
==2429==ABORTING

================= [Acknowledgement] This work was supported by ICT R&D program of MSIP/IITP. [R7518-16-1001, Innovation hub for high Performance Computing]