% SZS status Theorem for MEM__pair__fmap__to__alist__FLOOK
% SZS output start Proof for MEM__pair__fmap__to__alist__FLOOK
  file('i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP',ch4s_alists_MEMu_u_pairu_u_fmapu_u_tou_u_alistu_u_FLOOKUP)).
  file('i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP',ah4s_pairs_SND0)).
  file('i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP',ah4s_pairs_FST0)).
  file('i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP',ah4s_alists_MEMu_u_fmapu_u_tou_u_alistu_u_FLOOKUP)).
  file('i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP',aHLu_BOOLu_CASES)).
  file('i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP',aHLu_FALSITY)).
  file('i/f/alist/MEM__pair__fmap__to__alist__FLOOKUP',aHLu_TRUTH)).
% SZS output end Proof for MEM__pair__fmap__to__alist__FLOOK
